Conference
Towards Modularized Verification of Distributed Time-Triggered Systems.
Authors
Botaschanjan J; Gruler A; Harhurin A; Kof L; Spichkova M; Trachtenherz D
Editors
Misra J; Nipkow T; Sekerinski E
Series
Lecture Notes in Computer Science
Volume
4085
Pagination
pp. 163-178
Publisher
Springer
Publication Date
2006
ISBN-10
3-540-37215-6
Conference proceedings
FM