Home > Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Book Informaton
Author
Jan Friso Groote; Kim Guldstrand Larsen
Series
Lecture Notes in Computer Science
Volume
12652
Year of Publication
1st ed. 2021
Publisher
Springer International Publishing
Pages
XXI, 465
Language
en
ISBN
9783030720124, 9783030720131
ARI Id
1665308962530
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 40 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xxi | |||
1-1 | |||
3-23 | |||
24-42 | |||
43-63 | |||
64-83 | |||
85-85 | |||
87-104 | |||
105-123 | |||
125-125 | |||
127-144 | |||
145-163 | |||
164-180 | |||
181-199 | |||
201-201 | |||
203-222 | |||
223-241 | |||
242-261 | |||
262-280 | |||
281-302 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 40 entries