%0 Journal Article %1 journals/pe/HuthPW12 %A Huth, Michael %A Piterman, Nir %A Wagner, Daniel %D 2012 %J Perform. Evaluation %K %N 7-8 %P 356-378 %T p-Automata: New foundations for discrete-time probabilistic verification. %U http://dblp.uni-trier.de/db/journals/pe/pe69.html#HuthPW12 %V 69

@article{journals/pe/HuthPW12, added-at = {2023-12-13T00:40:50.000+0100}, author = {Huth, Michael and Piterman, Nir and Wagner, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/218ebd1b259a3ee7145c5c93a30313e6a/admin}, ee = {https://doi.org/10.1016/j.peva.2012.05.005}, interhash = {66dc4fb77c0394cfee4c7a3c1ee4980e}, intrahash = {18ebd1b259a3ee7145c5c93a30313e6a}, journal = {Perform. Evaluation}, keywords = {}, number = {7-8}, pages = {356-378}, timestamp = {2023-12-13T00:40:50.000+0100}, title = {p-Automata: New foundations for discrete-time probabilistic verification.}, url = {http://dblp.uni-trier.de/db/journals/pe/pe69.html#HuthPW12}, volume = 69, year = 2012 }