Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Author(s)
Bibliographic Information
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
(Lecture notes in computer science, 6246)
Springer, c2010
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index