%0 Journal Article %1 journals/scp/ChiltonJK14 %A Chilton, Chris %A Jonsson, Bengt %A Kwiatkowska, Marta Z. %D 2014 %J Sci. Comput. Program. %K dblp %P 115-137 %T Compositional assume-guarantee reasoning for input/output component theories. %U http://dblp.uni-trier.de/db/journals/scp/scp91.html#ChiltonJK14 %V 91

@article{journals/scp/ChiltonJK14, added-at = {2021-08-31T00:00:00.000+0200}, author = {Chilton, Chris and Jonsson, Bengt and Kwiatkowska, Marta Z.}, biburl = {https://www.bibsonomy.org/bibtex/2eb0f8dee5f2650fde814e84e37d9c76b/dblp}, ee = {https://doi.org/10.1016/j.scico.2013.12.010}, interhash = {79c61b64fbfa0d6b4c6dd168c9049b05}, intrahash = {eb0f8dee5f2650fde814e84e37d9c76b}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {115-137}, timestamp = {2024-04-09T05:28:32.000+0200}, title = {Compositional assume-guarantee reasoning for input/output component theories.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp91.html#ChiltonJK14}, volume = 91, year = 2014 }