Pang, Jun (ed.); Zhang, Lijun (ed.) 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 \textit{J. Pang} (ed.) and \textit{L. Zhang} (ed.), Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24--27, 2020. Proceedings. Cham: Springer (2020; Zbl 1493.68020) 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 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
Schewe, Sven (ed.); Zhang, Lijun (ed.) 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 \textit{S. Schewe} (ed.) and \textit{L. Zhang} (ed.), 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4--7, 2018. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2018; Zbl 1402.68024) Full Text: DOI Link
Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) 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 \textit{B. Finkbeiner} (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12--15, 2015. Proceedings. Cham: Springer (2015; Zbl 1325.68017) Full Text: DOI