Testing labelled Markov processes (2002)

by F Breugel, S Shalit, J Worrell
Venue:In ICALP