Simon Doherty, Lindsay Groves. Simpler Backward Simulation Proofs. In Taso Viglas, Alex Potanin, editors, Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010. Volume 109 of CRPIT, pages 71-78, Australian Computer Society, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.