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 I
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 I
Book Informaton
Author
Jan Friso Groote; Kim Guldstrand Larsen
Series
Lecture Notes in Computer Science
Volume
12651
Year of Publication
1st ed. 2021
Publisher
Springer International Publishing
Pages
XXI, 471
Language
en
ISBN
9783030720155, 9783030720162
ARI Id
1665308574337
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 32 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xxi | |||
1-1 | |||
3-19 | |||
20-37 | |||
38-56 | |||
57-57 | |||
59-75 | |||
76-93 | |||
94-112 | |||
113-132 | |||
133-151 | |||
152-169 | |||
171-171 | |||
173-190 | |||
191-209 | |||
210-229 | |||
230-249 | |||
250-269 | |||
270-287 | |||
289-289 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 32 entries