Automated Verification of Parallel Nested DFS
dc.contributor.author
Oortwijn, Wytse
dc.contributor.author
Huisman, Marieke
dc.contributor.author
Joosten, Sebastiaan J.C.
dc.contributor.author
van de Pol, Jaco
dc.contributor.editor
Biere, Armin
dc.contributor.editor
David Parker
dc.date.accessioned
2021-01-26T12:17:21Z
dc.date.available
2021-01-26T12:02:02Z
dc.date.available
2021-01-26T12:17:21Z
dc.date.issued
2020
dc.identifier.isbn
978-3-030-45189-9
en_US
dc.identifier.isbn
978-3-030-45190-5
en_US
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-030-45190-5_14
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/465629
dc.identifier.doi
10.3929/ethz-b-000465629
dc.format
application/pdf
en_US
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
dc.title
Automated Verification of Parallel Nested DFS
en_US
dc.type
Conference Paper
dc.rights.license
Creative Commons Attribution 4.0 International
dc.date.published
2020-04-17
ethz.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
en_US
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
12078
en_US
ethz.journal.abbreviated
LNCS
ethz.pages.start
247
en_US
ethz.pages.end
265
en_US
ethz.size
19 p.
en_US
ethz.version.deposit
publishedVersion
en_US
ethz.event
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
en_US
ethz.event.location
online
en_US
ethz.event.date
April 27-30, 2020
en_US
ethz.notes
Due to the Coronavirus (COVID-19) the conference was conducted virtually.
en_US
ethz.publication.place
Cham
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
en_US
ethz.date.deposited
2021-01-26T12:02:09Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2021-01-26T12:17:30Z
ethz.rosetta.lastUpdated
2021-02-15T23:34:13Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Automated%20Verification%20of%20Parallel%20Nested%20DFS&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2020&rft.volume=12078&rft.spage=247&rft.epage=265&rft.issn=0302-9743&1611-3349&rft.au=Oortwijn,%20Wytse&Huisman,%20Marieke&Joosten,%20Sebastiaan%20J.C.&van%20de%20Pol,%20Jaco&rft.isbn=978-3-030-45189-9&978-3-030-45190-5&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-030-45190-5_14&rft.btitle=Tools%20and%20Algorithms%20for%20the%20Construction%20and%20Analysis%20of%20Systems.%2026th%20International%20Conference,%20TACAS%202020,%20Held%20as%20Part%20of%20the%2
Files in this item
Publication type
-
Conference Paper [34973]