Testing Labelled Markov Processes (2002)

by F van Breugel, S Shalit, J Worrell
Venue:In Proc. 29th International Colloquium on Automata, Languages and Programming, volume 2380 of LNCS, Springer-Verlag