%0 Journal Article %1 journals/toplas/GrumbergL94 %A Grumberg, Orna %A Long, David E. %D 1994 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 843-871 %T Model Checking and Modular Verification. %U http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#GrumbergL94 %V 16

@article{journals/toplas/GrumbergL94, added-at = {2018-11-06T00:00:00.000+0100}, author = {Grumberg, Orna and Long, David E.}, biburl = {https://www.bibsonomy.org/bibtex/218c7883897270d403003cf7a00a3bb09/dblp}, ee = {https://doi.org/10.1145/177492.177725}, interhash = {63d67a9fe15ee7290d48650f3cc00dcc}, intrahash = {18c7883897270d403003cf7a00a3bb09}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {843-871}, timestamp = {2018-11-07T12:36:18.000+0100}, title = {Model Checking and Modular Verification.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#GrumbergL94}, volume = 16, year = 1994 }