[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6015 || Simple O(m logn) Time Markov Chain Lumping

• 作者Esparza, Javier; Majumdar, Rupak
• 文件大小257.70KB
• 发表时间2010
• DOI10.1007/978-3-642-12002-2_4
• 页码38-52