%0 Journal Article %1 journals/corr/abs-2303-17751 %A Incer, Inigo %A Badithela, Apurva %A Graebener, Josefine %A Mallozzi, Piergiuseppe %A Pandey, Ayush %A Yu, Sheng-Jung %A Benveniste, Albert %A Caillaud, Benoît %A Murray, Richard M. %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %D 2023 %J CoRR %K dblp %T Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. %U http://dblp.uni-trier.de/db/journals/corr/corr2303.html#abs-2303-17751 %V abs/2303.17751

@article{journals/corr/abs-2303-17751, added-at = {2023-04-17T00:00:00.000+0200}, author = {Incer, Inigo and Badithela, Apurva and Graebener, Josefine and Mallozzi, Piergiuseppe and Pandey, Ayush and Yu, Sheng-Jung and Benveniste, Albert and Caillaud, Benoît and Murray, Richard M. and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2459f92cedc7df1c2ac4d750e05c2d401/dblp}, ee = {https://doi.org/10.48550/arXiv.2303.17751}, interhash = {f791a2828f66e7768596268e2bc0b15f}, intrahash = {459f92cedc7df1c2ac4d750e05c2d401}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:17:43.000+0200}, title = {Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2303.html#abs-2303-17751}, volume = {abs/2303.17751}, year = 2023 }