Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
Author(s)
Bibliographic Information
Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
（Lecture notes in computer science, 2791）
Springer, c2004
Available at / 17 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNSC||279104005141
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies and index
