%0 Journal Article %1 journals/isse/ChakiG11 %A Chaki, Sagar %A Gurfinkel, Arie %D 2011 %J Innov. Syst. Softw. Eng. %K dblp %N 2 %P 131-139 %T Automated assume-guarantee reasoning for omega-regular systems and specifications. %U http://dblp.uni-trier.de/db/journals/isse/isse7.html#ChakiG11 %V 7

@article{journals/isse/ChakiG11, added-at = {2022-01-03T00:00:00.000+0100}, author = {Chaki, Sagar and Gurfinkel, Arie}, biburl = {https://www.bibsonomy.org/bibtex/277b662ab6bffbc454721b430b0744d5e/dblp}, ee = {https://doi.org/10.1007/s11334-011-0148-1}, interhash = {8467e3cc7daef465ea6be354b4a7d888}, intrahash = {77b662ab6bffbc454721b430b0744d5e}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 2, pages = {131-139}, timestamp = {2024-04-09T04:08:16.000+0200}, title = {Automated assume-guarantee reasoning for omega-regular systems and specifications.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse7.html#ChakiG11}, volume = 7, year = 2011 }