×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 139-158 (2017).
MSC:  68Q60 68Q85 68W15
BibTeX Cite
Full Text: DOI
WorldCat.org
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 91-106 (2012).
MSC:  68Q60 68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software