A Theory of Synchronous Relational Interfaces (bibtex)
by Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
Reference:
A Theory of Synchronous Relational InterfacesStavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. LeeACM Trans. Program. Lang. Syst., volume 33, number 4, pages 14, 2011.
Bibtex Entry:
@article{TLHL11,
title = {A Theory of Synchronous Relational Interfaces},
ee = {http://doi.acm.org/10.1145/1985342.1985345},
journal = {ACM Trans. Program. Lang. Syst.},
author = {Stavros Tripakis and Ben Lickly and Thomas A. Henzinger and Edward
A. Lee},
number = {4},
volume = {33},
url = {/pubpdf/A_Theory_of_Synchronous_Relational_Interfaces.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {14},
}
Powered by bibtexbrowser