An edition of Formal modeling and analysis of timed systems (2007)
Formal modeling and analysis of timed systems
5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings
By Jean-Francois Raskin,P. S. Thiagarajan
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2007
Publisher
Springer
Language
eng
Pages
370
Description: