%0 Conference Paper %1 conf/itp/ManskyG12 %A Mansky, William %A Gunter, Elsa L. %B ITP %D 2012 %E Beringer, Lennart %E Felty, Amy P. %I Springer %K dblp %P 299-314 %T Using Locales to Define a Rely-Guarantee Temporal Logic. %U http://dblp.uni-trier.de/db/conf/itp/itp2012.html#ManskyG12 %V 7406 %@ 978-3-642-32346-1

@inproceedings{conf/itp/ManskyG12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Mansky, William and Gunter, Elsa L.}, biburl = {https://www.bibsonomy.org/bibtex/2c749a0a176c7adc161b76979e6913b27/dblp}, booktitle = {ITP}, crossref = {conf/itp/2012}, editor = {Beringer, Lennart and Felty, Amy P.}, ee = {https://doi.org/10.1007/978-3-642-32347-8_20}, interhash = {b09acdaf915f97b4c82a46ac826a67e8}, intrahash = {c749a0a176c7adc161b76979e6913b27}, isbn = {978-3-642-32346-1}, keywords = {dblp}, pages = {299-314}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:09.000+0200}, title = {Using Locales to Define a Rely-Guarantee Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2012.html#ManskyG12}, volume = 7406, year = 2012 }