%0 Journal Article %1 journals/entcs/CharltonH08 %A Charlton, Nathaniel %A Huth, Michael %D 2008 %J Electron. Notes Theor. Comput. Sci. %K %P 71-86 %T Falsifying Safety Properties Through Games on Over-approximating Models. %U http://dblp.uni-trier.de/db/journals/entcs/entcs223.html#CharltonH08 %V 223

@article{journals/entcs/CharltonH08, added-at = {2023-12-13T02:20:19.000+0100}, author = {Charlton, Nathaniel and Huth, Michael}, biburl = {https://www.bibsonomy.org/bibtex/24cf459018c7f109660e9cf1004ba1552/admin}, ee = {https://doi.org/10.1016/j.entcs.2008.12.032}, interhash = {7dec92053a5ac0b456ad2888f1e50dcb}, intrahash = {4cf459018c7f109660e9cf1004ba1552}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {71-86}, timestamp = {2023-12-13T02:20:19.000+0100}, title = {Falsifying Safety Properties Through Games on Over-approximating Models.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs223.html#CharltonH08}, volume = 223, year = 2008 }