%0 Journal Article %1 journals/comgeo/HlinenyPR19 %A Hlinený, Petr %A Pokrývka, Filip %A Roy, Bodhayan %D 2019 %J Comput. Geom. %K dblp %P 1-19 %T FO model checking on geometric graphs. %U http://dblp.uni-trier.de/db/journals/comgeo/comgeo78.html#HlinenyPR19 %V 78

@article{journals/comgeo/HlinenyPR19, added-at = {2019-09-25T00:00:00.000+0200}, author = {Hlinený, Petr and Pokrývka, Filip and Roy, Bodhayan}, biburl = {https://www.bibsonomy.org/bibtex/2f02240ac9c0d452ec92860e6f3994db0/dblp}, ee = {https://doi.org/10.1016/j.comgeo.2018.10.001}, interhash = {875bdab2d9a59b2040966630d69e0158}, intrahash = {f02240ac9c0d452ec92860e6f3994db0}, journal = {Comput. Geom.}, keywords = {dblp}, pages = {1-19}, timestamp = {2019-09-26T11:57:33.000+0200}, title = {FO model checking on geometric graphs.}, url = {http://dblp.uni-trier.de/db/journals/comgeo/comgeo78.html#HlinenyPR19}, volume = 78, year = 2019 }