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]
@inproceedings{DohertyG10,
title = {Simpler Backward Simulation Proofs},
author = {Simon Doherty and Lindsay Groves},
year = {2010},
url = {http://crpit.com/abstracts/CRPITV109Doherty.html},
researchr = {https://researchr.org/publication/DohertyG10},
cites = {0},
citedby = {0},
pages = {71-78},
booktitle = {Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010},
editor = {Taso Viglas and Alex Potanin},
volume = {109},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {978-1-920682-90-3},
}