Automated Verification of Parallel Nested DFS

Download
Full text (published version) (PDF, 382.4Kb)
Thumbnail
Open access
ccby
Author
Oortwijn, Wytse
Huisman, Marieke
Joosten, Sebastiaan J.C.
van de Pol, Jaco
Show all
Date
2020
Type
    Conference Paper
Rights / license
Creative Commons Attribution 4.0 International
Permanent link
https://doi.org/10.3929/ethz-b-000465629
Publication status
published
External links
Editor
Biere, Armin
David Parker
Book title
Tools and Algorithms for the Construction and Analysis of Systems. 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
Journal / series
Lecture Notes in Computer Science
Volume
12078
Pages / Article No.
247 - 265
Publisher
Springer
Event
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), online, April 27-30, 2020
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
Due to the Coronavirus (COVID-19) the conference was conducted virtually.
More
Show all metadata
ETH Bibliography
yes
Altmetrics