Home > Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Book Informaton
Author
Dirk Beyer; Marieke Huisman
Series
Lecture Notes in Computer Science
Volume
10806
Year of Publication
1st ed. 2018
Publisher
Springer International Publishing
Pages
XX, 465
Language
en
ISBN
9783319899626, 9783319899633, 3319899627
ARI Id
1665114332842
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 41 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XX | |||
1-1 | |||
3-19 | |||
20-37 | |||
38-54 | |||
55-71 | |||
73-73 | |||
75-92 | |||
93-111 | |||
112-131 | |||
132-151 | |||
153-153 | |||
155-175 | |||
176-193 | |||
194-200 | |||
201-208 | |||
209-209 | |||
211-228 | |||
229-248 | |||
249-265 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 41 entries