%0 Journal Article %1 journals/iandc/KupfermanVW01 %A Kupferman, Orna %A Vardi, Moshe Y. %A Wolper, Pierre %D 2001 %J Inf. Comput. %K dblp %N 2 %P 322-344 %T Module Checking. %U http://dblp.uni-trier.de/db/journals/iandc/iandc164.html#KupfermanVW01 %V 164

@article{journals/iandc/KupfermanVW01, added-at = {2024-02-05T00:00:00.000+0100}, author = {Kupferman, Orna and Vardi, Moshe Y. and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2dc849fe4e3e37e32575c933f634eabef/dblp}, ee = {https://doi.org/10.1006/inco.2000.2893}, interhash = {f8719e5e6e57ca592c3a6097dc6c9250}, intrahash = {dc849fe4e3e37e32575c933f634eabef}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {322-344}, timestamp = {2024-04-09T06:09:32.000+0200}, title = {Module Checking.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc164.html#KupfermanVW01}, volume = 164, year = 2001 }