Shelfclass_id |
3.A |
Sortkey |
FORMATS |
Authors |
Jean-Franðcois Raskin, P. S Thiagarajan |
Title |
FORMATS 2007: Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007: proceedings |
Publisher |
Springer |
Year |
c2007 |
Languages |
eng |
Isbn |
3540754539, 9783540754534 |
Series |
Lecture Notes in Computer Science |
Volume |
4763 |
Issn |
0302-9743 |
Description |
x, 368 p. ill. 24 cm. |
Record date |
20090223 |
Location |
New York |
Keywords |
Computer simulation, Temporal automata, Formal methods (Computer science), Automata |