Equivalence of Labeled Markov Chains

Technical Report PDF: 
Technical Report Number: 
2008.112
TitleEquivalence of Labeled Markov Chains
Publication TypeJournal Article
Year of Publication2008
AuthorsDoyen, L, Henzinger TA, Raskin J-F
JournalInt. J. Found. Comput. Sci.
Volume19
Pagination549-563