Interface Simulation Distances (bibtex)
by Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Reference:
Interface Simulation DistancesPavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun RadhakrishnaGandALF, pages 29-42, 2012.
Bibtex Entry:
@inproceedings{GANDALF,
title = {Interface Simulation Distances},
ee = {http://dx.doi.org/10.4204/EPTCS.96.3},
booktitle = {GandALF},
author = {Pavol Cern{\'y} and Martin Chmelik and Thomas A. Henzinger and Arjun
Radhakrishna},
url = {http://arxiv.org/pdf/1210.2450},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {29-42},
crossref = {DBLP:journals/corr/abs-1210-2028},
}
Powered by bibtexbrowser