%0 Journal Article %1 journals/fmsd/ChakiS08 %A Chaki, Sagar %A Strichman, Ofer %D 2008 %J Formal Methods Syst. Des. %K dblp %N 3 %P 267-284 %T Three optimizations for Assume-Guarantee reasoning with L*. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#ChakiS08 %V 32

@article{journals/fmsd/ChakiS08, added-at = {2020-03-13T00:00:00.000+0100}, author = {Chaki, Sagar and Strichman, Ofer}, biburl = {https://www.bibsonomy.org/bibtex/2752d77dfc6bddd780c861c5554a15951/dblp}, ee = {https://doi.org/10.1007/s10703-007-0042-5}, interhash = {ca4c74d58c66982609632f95dc054a8b}, intrahash = {752d77dfc6bddd780c861c5554a15951}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {267-284}, timestamp = {2020-03-14T11:51:17.000+0100}, title = {Three optimizations for Assume-Guarantee reasoning with L*.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#ChakiS08}, volume = 32, year = 2008 }