×

zbMATH — the first resource for mathematics

Found 5 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
Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-44877-0/pbk; 978-3-319-44878-7/ebook). Lecture Notes in Computer Science 9884, 35-50 (2016).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
Software