Distributed Parametric and Statistical Model Checking

Petr Evgenevich Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind72
Sider (fra-til)30-42
Antal sider13
ISSN2075-2180
DOI
StatusUdgivet - 2011
Begivenhed10th International Workshop on Parallel and Distributed Methods in verification - Snowbird, Utah, USA
Varighed: 14 jul. 2011 → …
Konferencens nummer: 10

Workshop

Workshop10th International Workshop on Parallel and Distributed Methods in verification
Nummer10
LandUSA
BySnowbird, Utah
Periode14/07/2011 → …

Citationsformater