Books+ Search Results
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
Title
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).
ISBN
3540309462
Published
Berlin : Springer-Verlag, c2005.
Physical Description
1 online resource
Notes
"... the proceedings of FORMATS 2005, the Third International Conference on Formal Modeling and Analysis of Timed Systems"--Pref.
Variant and related titles
FORMATS 2005
Internet Archive collection.
Format
Books
Language
English
Added to Catalog
May 07, 2020
Bibliography
Includes bibliographical references and index.
Subjects
Also listed under
Bookmark As
Citation
