@Inproceedings{EPTCS39.3, author = {Maler, Oded and Larsen, Kim G. and Krogh, Bruce H.}, year = {2010}, title = {On Zone-Based Analysis of Duration Probabilistic Automata}, editor = {Chen, Yu-Fang and Rezine, Ahmed}, booktitle = {{\rm Proceedings 12th International Workshop on} Verification of Infinite-State Systems, {\rm Singapore, 21st September 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {39}, publisher = {Open Publishing Association}, pages = {33-46}, doi = {10.4204/EPTCS.39.3}, }