%0 Conference Paper %1 conf/sas/HenzingerMMR00 %A Henzinger, Thomas A. %A Majumdar, Rupak %A Mang, Freddy Y. C. %A Raskin, Jean-François %B SAS %D 2000 %E Palsberg, Jens %I Springer %K dblp %P 220-239 %T Abstract Interpretation of Game Properties. %U http://dblp.uni-trier.de/db/conf/sas/sas2000.html#HenzingerMMR00 %V 1824 %@ 3-540-67668-6

@inproceedings{conf/sas/HenzingerMMR00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Majumdar, Rupak and Mang, Freddy Y. C. and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/22ab32057b979cbaea2a06179ee12c046/dblp}, booktitle = {SAS}, crossref = {conf/sas/2000}, editor = {Palsberg, Jens}, ee = {https://doi.org/10.1007/978-3-540-45099-3_12}, interhash = {52a1521028c2e4dd82c62afb02cc7307}, intrahash = {2ab32057b979cbaea2a06179ee12c046}, isbn = {3-540-67668-6}, keywords = {dblp}, pages = {220-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:13.000+0200}, title = {Abstract Interpretation of Game Properties.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2000.html#HenzingerMMR00}, volume = 1824, year = 2000 }