James Worrell : Publications
Click here to download all publications in a single bibtex file
@article{4909,
title = "Language Equivalence for Probabilistic Automata",
author = "Stefan Kiefer, Andrzej S. Murawski, Joel Ouaknine, Björn Wachter, James Worrell",
year = "2011",
booktitle = "CAV",
note = "to appear in CAV 2011",
url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav11.pdf",
}