On Zone-Based Analysis of Duration Probabilistic Automata

Oded Maler, Kim Guldstrand Larsen, Bruce Krogh

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 12th International Workshop on Verification of Infinite-State Systems
Number of pages	15
Publication date	Sept 2010
DOIs	https://doi.org/10.4204/EPTCS.39
Publication status	Published - Sept 2010
Event	12th International Workshop on Verification of Infinite-State Systems (INFINITY'10) - , Singapore Duration: 21 Sept 2010 → 21 Sept 2010 Conference number: 12th http://www.it.uu.se/workshop/infinity2010/

Workshop	12th International Workshop on Verification of Infinite-State Systems (INFINITY'10)
Number	12th
Country/Territory	Singapore
Period	21/09/2010 → 21/09/2010
Internet address	http://www.it.uu.se/workshop/infinity2010/

Access to Document

@inproceedings{08f5400d44ea4750ac3a561ebfc6ee40,

title = "On Zone-Based Analysis of Duration Probabilistic Automata",

author = "Oded Maler and Larsen, {Kim Guldstrand} and Bruce Krogh",

year = "2010",

month = sep,

doi = "10.4204/EPTCS.39",

language = "English",

booktitle = "Proceedings of the 12th International Workshop on Verification of Infinite-State Systems",

note = "12th International Workshop on Verification of Infinite-State Systems (INFINITY'10) ; Conference date: 21-09-2010 Through 21-09-2010",

url = "http://www.it.uu.se/workshop/infinity2010/",

}

TY - GEN

T1 - On Zone-Based Analysis of Duration Probabilistic Automata

AU - Maler, Oded

AU - Larsen, Kim Guldstrand

AU - Krogh, Bruce

N1 - Conference code: 12th

PY - 2010/9

Y1 - 2010/9

U2 - 10.4204/EPTCS.39

DO - 10.4204/EPTCS.39

M3 - Article in proceeding

BT - Proceedings of the 12th International Workshop on Verification of Infinite-State Systems

T2 - 12th International Workshop on Verification of Infinite-State Systems (INFINITY'10)

Y2 - 21 September 2010 through 21 September 2010

ER -