%0 Journal Article %1 journals/toplas/KupfermanV00 %A Kupferman, Orna %A Vardi, Moshe Y. %D 2000 %J ACM Trans. Program. Lang. Syst. %K dblp %N 1 %P 87-128 %T An automata-theortetic approach to modular model checking. %U http://dblp.uni-trier.de/db/journals/toplas/toplas22.html#KupfermanV00 %V 22

@article{journals/toplas/KupfermanV00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kupferman, Orna and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/220db36fca1df439f38e0bfc7616ba4d5/dblp}, ee = {https://doi.org/10.1145/345099.345104}, interhash = {c11f2ef56bfcf7bf8be4e88dcb18e424}, intrahash = {20db36fca1df439f38e0bfc7616ba4d5}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 1, pages = {87-128}, timestamp = {2018-11-07T12:36:23.000+0100}, title = {An automata-theortetic approach to modular model checking.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas22.html#KupfermanV00}, volume = 22, year = 2000 }