Partial order reduction for reachability games

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)
32 Downloads (Pure)
OriginalsprogEngelsk
Titel30th International Conference on Concurrency Theory, CONCUR 2019
RedaktørerWan Fokkink, Rob van Glabbeek
ForlagSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publikationsdatoaug. 2019
Artikelnummer23
ISBN (Elektronisk)9783959771214
DOI
StatusUdgivet - aug. 2019
Begivenhed30th International Conference on Concurrency Theory, CONCUR 2019 - Amsterdam, Holland
Varighed: 27 aug. 201930 aug. 2019

Konference

Konference30th International Conference on Concurrency Theory, CONCUR 2019
Land/OmrådeHolland
ByAmsterdam
Periode27/08/201930/08/2019
NavnLeibniz International Proceedings in Informatics, LIPIcs
Vol/bind140
ISSN1868-8969

Fingeraftryk

Dyk ned i forskningsemnerne om 'Partial order reduction for reachability games'. Sammen danner de et unikt fingeraftryk.

Citationsformater