Vojnar, Tomáš (ed.); Zhang, Lijun (ed.) Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part I. (English) Zbl 1408.68025 Lecture Notes in Computer Science 11427. Cham: Springer (ISBN 978-3-030-17461-3/pbk; 978-3-030-17462-0/ebook). xxiii, 433 p., open access (2019). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{T. Vojnar} (ed.) and \textit{L. Zhang} (ed.), Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part I. Cham: Springer (2019; Zbl 1408.68025) Full Text: DOI
Vojnar, Tomáš (ed.); Zhang, Lijun (ed.) Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. (English) Zbl 1408.68024 Lecture Notes in Computer Science 11428. Cham: Springer (ISBN 978-3-030-17464-4/pbk; 978-3-030-17465-1/ebook). xxiii, 413 p., open access (2019). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{T. Vojnar} (ed.) and \textit{L. Zhang} (ed.), Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part II. Cham: Springer (2019; Zbl 1408.68024) Full Text: DOI