×

zbMATH — the first resource for mathematics

Found 43 Documents (Results 1–3)

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-11244-8/pbk; 978-3-030-11245-5/ebook). Lecture Notes in Computer Science 11388, 409-424 (2019).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
Hague, Matthew (ed.) et al., Reachability problems. 11th international workshop, RP 2017, London, UK, September 7–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-67088-1/pbk; 978-3-319-67089-8/ebook). Lecture Notes in Computer Science 10506, 118-131 (2017).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-65764-6/pbk; 978-3-319-65765-3/ebook). Lecture Notes in Computer Science 10419, 3-21 (2017).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software