Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Book title Buchtitel
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ISBN
978-3-662-49673-2
Editor Herausgeber_in
Publisher Herausgeber
Springer Berlin
Place of publishing Erscheinungsort
Heidelberg
DOI
10.1007/978-3-662-49674-9
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
9636
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).