×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
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
PDF BibTeX XML Cite
Full Text: DOI
Fränzle, Martin (ed.) et al., Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47676-6/pbk; 978-3-319-47677-3/ebook). Lecture Notes in Computer Science 9984, 197-212 (2016).
MSC:  68Q60 68Q85 68R10
PDF BibTeX XML Cite
Full Text: DOI