@inproceedings{74ed08dac68c4bd89c04c69efe53a95a,
title = "Abstract Probabilistic Automata",
author = "Benoit Delahaye and Joost-Pieter Katoen and Larsen, {Kim Guldstrand} and Axel Legay and Pedersen, {Mikkel Larsen} and Falak Sher and Andrzej Wasowski",
year = "2011",
doi = "10.1007/978-3-642-18275-4_23",
language = "English",
volume = "6538",
pages = "324--339",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",
note = "null ; Conference date: 23-01-2011 Through 25-01-2011",
}