zbMATH — the first resource for mathematics

Found 38 Documents (Results 1–3)

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 379-395 (2018).
MSC:  68Q85 68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication