×

zbMATH — the first resource for mathematics

Found 45 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, 555-576 (2019).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Lecture Notes in Computer Science 11522. Cham: Springer (ISBN 978-3-030-21570-5/pbk; 978-3-030-21571-2/ebook). xv, 471 p. (2019).
MSC:  68-06 68Q85 00B25
BibTeX Cite
Full Text: DOI
WorldCat.org
Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 3-19 (2019).
MSC:  92C42 92C40
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software