Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings.
From MaRDI portal
Publication:593176
DOI10.1007/978-3-662-54580-5zbMath1360.68016MaRDI QIDQ593176
No author found.
Publication date: 3 April 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)
Related Items (3)
Efficient strategies for CEGAR-based model checking ⋮ The decidability of verification under PS 2.0 ⋮ Checking robustness between weak transactional consistency models
This page was built for publication: Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings.
