Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... I
Publisher: Springer
Published: Apr 12, 2018
Format: paperback
Number of pages: 449
ISBN-13: 9783319899596
Notes: Source title: Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... I (Lecture Notes in Computer Science (10805))