@inproceedings{MLK10,
title = { On Zone-Based Analysis of Duration Probabilistic Automata },
author = {Maler, Oded and Larsen, Kim Guldstrand and Krogh, Bruce H.},
year = {2010},
booktitle = {Proceedings 12th International Workshop on Verification of Infinite-State Systems},
pages = {33-46},
series = {EPTCS},
volume = {39},
team = {TEMPO},
}
