
Open access
Date
2020Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000465629Publication status
publishedExternal links
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 IJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
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