An Algorithm for Probabilistic Alternating Simulation
English
Zhang, Chenyi[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pang, Jun[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2012
Proc. 38th International Conference on Current Trends in Theory and Practice of Computer Science
Lecture Notes in Computer Science 7147
431-442
Yes
International
978-3-642-27660-6
38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)