Loading...
book part or chapter
Component Based System Modelling for Easier Verification
Romanovsky, A.
•
Ezhilchelvan, P.
Type
book part or chapter
Authors
Editors
Romanovsky, A.
•
Ezhilchelvan, P.
Publication date
2002
Publisher
Published in
Concurrency in Dependable Computing
ISBN of the book
1402070438
Start page
61
End page
86
Subjects
EPFL units
Available on Infoscience
September 20, 2005
Use this identifier to reference this record