Distributed Parametric and Statistical Model Checking

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

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	72
Pages (from-to)	30-42
Number of pages	13
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.72.4
Publication status	Published - 2011
Event	10th International Workshop on Parallel and Distributed Methods in verification - Snowbird, Utah, United States Duration: 14 Jul 2011 → … Conference number: 10

Workshop	10th International Workshop on Parallel and Distributed Methods in verification
Number	10
Country/Territory	United States
City	Snowbird, Utah
Period	14/07/2011 → …

Access to Document

@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 -