%0 Journal Article %1 journals/toplas/DamsGG97 %A Dams, Dennis %A Gerth, Rob %A Grumberg, Orna %D 1997 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 253-291 %T Abstract Interpretation of Reactive Systems. %U http://dblp.uni-trier.de/db/journals/toplas/toplas19.html#DamsGG97 %V 19

@article{journals/toplas/DamsGG97, added-at = {2018-11-06T00:00:00.000+0100}, author = {Dams, Dennis and Gerth, Rob and Grumberg, Orna}, biburl = {https://www.bibsonomy.org/bibtex/24279f96a1be3751682dab7de4dcda0b8/dblp}, ee = {https://doi.org/10.1145/244795.244800}, interhash = {4ab3942748807bf4da90be3da1e54d9f}, intrahash = {4279f96a1be3751682dab7de4dcda0b8}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {253-291}, timestamp = {2018-11-07T12:36:34.000+0100}, title = {Abstract Interpretation of Reactive Systems.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas19.html#DamsGG97}, volume = 19, year = 1997 }