Distributed Parametric and Statistical Model Checking

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

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronic Proceedings in Theoretical Computer Science
Vol/bind	72
Sider (fra-til)	30-42
Antal sider	13
ISSN	2075-2180
DOI	https://doi.org/10.4204/EPTCS.72.4
Status	Udgivet - 2011
Begivenhed	10th International Workshop on Parallel and Distributed Methods in verification - Snowbird, Utah, USA Varighed: 14 jul. 2011 → … Konferencens nummer: 10

Workshop	10th International Workshop on Parallel and Distributed Methods in verification
Nummer	10
Land/Område	USA
By	Snowbird, Utah
Periode	14/07/2011 → …

Adgang til dokumentet

@inproceedings{ab4e1d78fa5244fc953a910d70f74cce,

title = "Distributed Parametric and Statistical Model Checking",

author = "Bulychev, {Petr Evgenevich} and Alexandre David and Larsen, {Kim Guldstrand} and Marius Mikucionis and Axel Legay",

year = "2011",

doi = "10.4204/EPTCS.72.4",

language = "English",

volume = "72",

pages = "30--42",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "10th International Workshop on Parallel and Distributed Methods in verification ; Conference date: 14-07-2011",

}

TY - GEN

T1 - Distributed Parametric and Statistical Model Checking

AU - Bulychev, Petr Evgenevich

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Mikucionis, Marius

AU - Legay, Axel

N1 - Conference code: 10

PY - 2011

Y1 - 2011

U2 - 10.4204/EPTCS.72.4

DO - 10.4204/EPTCS.72.4

M3 - Conference article in Journal

SN - 2075-2180

VL - 72

SP - 30

EP - 42

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

T2 - 10th International Workshop on Parallel and Distributed Methods in verification

Y2 - 14 July 2011

ER -