×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 177-192 (2011).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI