Equivalence of Labeled Markov Chains

Technical Report PDF: 
Technical Report Number: 
2007.90
TitleEquivalence of Labeled Markov Chains
Publication TypeJournal Article
Year of Publication2008
AuthorsDoyen, L, Henzinger TA, Raskin J-F
JournalInernational Journal of Foundations of Computer Science
Volume19
Pagination549-563