Ideal Abstractions for Well-Structured Transition Systems (bibtex)
by Damien Zufferey, Thomas Wies, Thomas A. Henzinger
Reference:
Ideal Abstractions for Well-Structured Transition SystemsDamien Zufferey, Thomas Wies, Thomas A. HenzingerVMCAI, pages 445-460, 2012.
Bibtex Entry:
@inproceedings{VMCAI,
title = {Ideal Abstractions for Well-Structured Transition Systems},
ee = {http://dx.doi.org/10.1007/978-3-642-27940-9_29},
booktitle = {VMCAI},
author = {Damien Zufferey and Thomas Wies and Thomas A. Henzinger},
url = {/pubpdf/Ideal_abstractions_for_well-structured_transition_systems.pdf},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {445-460},
crossref = {DBLP:conf/vmcai/2012},
}
Powered by bibtexbrowser