Testing probabilistic automata (1996)

by Roberto Segala
Venue:Proceedings of CONCUR ’96: Concurrency Theory, 7th International Conference, volume 1119 of Lecture Notes in Computer Science