Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Thessaloniki, Greece, April 14-20, 2018...
Publisher: Saint Philip Street Press
Published: Oct 09, 2020
Format: paperback
Number of pages: 474
ISBN-13: 9781013278402
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 ... Thessaloniki, Greece, April 14-20, 2018...