%0 Conference Paper %1 conf/facs2/ChiltonJK12 %A Chilton, Chris %A Jonsson, Bengt %A Kwiatkowska, Marta Z. %B FACS %D 2012 %E Pasareanu, Corina S. %E Salaün, Gwen %I Springer %K dblp %P 92-109 %T Assume-Guarantee Reasoning for Safe Component Behaviours. %U http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#ChiltonJK12 %V 7684 %@ 978-3-642-35861-6

@inproceedings{conf/facs2/ChiltonJK12, added-at = {2022-08-16T00:00:00.000+0200}, author = {Chilton, Chris and Jonsson, Bengt and Kwiatkowska, Marta Z.}, biburl = {https://www.bibsonomy.org/bibtex/2aa8276abb24e7a4c0842bbc33f3b5c72/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2012}, editor = {Pasareanu, Corina S. and Salaün, Gwen}, ee = {https://www.wikidata.org/entity/Q112268323}, interhash = {6aad047cbb34e9b6357bc9c575ef9aef}, intrahash = {aa8276abb24e7a4c0842bbc33f3b5c72}, isbn = {978-3-642-35861-6}, keywords = {dblp}, pages = {92-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:16:19.000+0200}, title = {Assume-Guarantee Reasoning for Safe Component Behaviours.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#ChiltonJK12}, volume = 7684, year = 2012 }