×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Braberman, Víctor (ed.) et al., Formal modeling and analysis of timed systems. 11th international conference, FORMATS 2013, Buenos Aires, Argentina, August 29–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40228-9/pbk). Lecture Notes in Computer Science 8053, 91-105 (2013).
MSC:  68Q85
BibTeX Cite
Full Text: DOI
Donatelli, Susanna (ed.) et al., Petri nets and other models of concurrency – ICATPN 2006. 27th international conference on applications and theory of Petri nets and other models of concurrency, Turku, Finland, June 26–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-34699-9/pbk). Lecture Notes in Computer Science 4024, 125-145 (2006).
MSC:  68Q85
BibTeX Cite
Full Text: DOI
Graf, Susanne (ed.) et al., Automated technology for verification and analysis. 4th international symposium, ATVA 2006, Beijing, China, October 23–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47237-7/pbk). Lecture Notes in Computer Science 4218, 307-321 (2006).
MSC:  68Q85
BibTeX Cite
Full Text: DOI

Filter Results by …

Author
Year of Publication
Classification
Software