×

Found 5 Documents (Results 1–5)

Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. (English) Zbl 1493.68020

Lecture Notes in Computer Science 12153. Cham: Springer (ISBN 978-3-030-62821-5/pbk; 978-3-030-62822-2/ebook). xiii, 203 p. (2020).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. (English) Zbl 1402.68024

LIPIcs – Leibniz International Proceedings in Informatics 118. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-087-3). xxi, 42 articles, not consecutively paged, electronic only, open access (2018).
MSC:  68-06 68Q85 00B25
PDFBibTeX XMLCite
Full Text: DOI Link

Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. (English) Zbl 1325.68017

Lecture Notes in Computer Science 9364. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). xiii, 520 p. (2015).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field