%0 Conference Paper %1 conf/fossacs/Maier03 %A Maier, Patrick %B FoSSaCS %D 2003 %E Gordon, Andrew D. %I Springer %K %P 343-357 %T Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2003.html#Maier03 %V 2620 %@ 3-540-00897-7

@inproceedings{conf/fossacs/Maier03, added-at = {2023-12-13T01:55:24.000+0100}, author = {Maier, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/230cc6cad43cc4909bc8cdea5f8b410fd/admin}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2003}, editor = {Gordon, Andrew D.}, ee = {https://doi.org/10.1007/3-540-36576-1_22}, interhash = {78587e906d8596779d2648047aea9908}, intrahash = {30cc6cad43cc4909bc8cdea5f8b410fd}, isbn = {3-540-00897-7}, keywords = {}, pages = {343-357}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:55:24.000+0100}, title = {Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2003.html#Maier03}, volume = 2620, year = 2003 }