%0 Conference Paper %1 conf/isaac/GajarskyHOO14 %A Gajarský, Jakub %A Hlinený, Petr %A Obdrzálek, Jan %A Ordyniak, Sebastian %B ISAAC %D 2014 %E Ahn, Hee-Kap %E Shin, Chan-Su %I Springer %K dblp %P 441-451 %T Faster Existential FO Model Checking on Posets. %U http://dblp.uni-trier.de/db/conf/isaac/isaac2014.html#GajarskyHOO14 %V 8889 %@ 978-3-319-13074-3

@inproceedings{conf/isaac/GajarskyHOO14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Gajarský, Jakub and Hlinený, Petr and Obdrzálek, Jan and Ordyniak, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/242df86afea5041d1ebdda05f34791db2/dblp}, booktitle = {ISAAC}, crossref = {conf/isaac/2014}, editor = {Ahn, Hee-Kap and Shin, Chan-Su}, ee = {https://doi.org/10.1007/978-3-319-13075-0_35}, interhash = {0984b4a82d226782eb5c34fafbb04ed8}, intrahash = {42df86afea5041d1ebdda05f34791db2}, isbn = {978-3-319-13074-3}, keywords = {dblp}, pages = {441-451}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:58:12.000+0200}, title = {Faster Existential FO Model Checking on Posets.}, url = {http://dblp.uni-trier.de/db/conf/isaac/isaac2014.html#GajarskyHOO14}, volume = 8889, year = 2014 }