Details for the publication Zhang08.

Lijun Zhang: A Space-Efficient Probabilistic Simulation Algorithm. In CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, volume 5201 of Lecture Notes in Computer Science, pages 248-263, 2008. DOI BIB