p-Automata: New Foundations for Discrete-Time Probabilistic Verification

Huth, M.; Piterman, N.; Wagner, D.

p-Automata: New Foundations for Discrete-Time Probabilistic Verification (bibtex)

@string{ieeepress="© IEEE press"}
@InProceedings{HPW10,
  author =       {M. Huth and N. Piterman and D. Wagner},
  title = 	 {p-Automata: New Foundations for Discrete-Time Probabilistic Verification},
  booktitle = {7th International Conference on Quantitative Evaluation of SysTems},
  pages = 	 {161-170},
  year = 	 {2010},
  publisher = ieeepress,
  pdf = 	 {2010/HPW10.pdf},
  url = 	 {2010/HPW10.html},
  keywords = {Automata,Model Checking},
}