×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 113-127 (2006).
MSC:  68Q60 68M07 68Q45
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software