×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–3)

Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 9780, 91-111 (2016).
MSC:  68N30 68N15 68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-29999-0/pbk; 978-3-319-30000-9/ebook). Lecture Notes in Computer Science 9618, 114-126 (2016).
MSC:  68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification