%0 Conference Paper %1 conf/icalp/GanianHKOST13 %A Ganian, Robert %A Hlinený, Petr %A Král', Daniel %A Obdrzálek, Jan %A Schwartz, Jarett %A Teska, Jakub %B ICALP (2) %D 2013 %E Fomin, Fedor V. %E Freivalds, Rusins %E Kwiatkowska, Marta Z. %E Peleg, David %I Springer %K dblp %P 250-262 %T FO Model Checking of Interval Graphs. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2013-2.html#GanianHKOST13 %V 7966 %@ 978-3-642-39211-5

@inproceedings{conf/icalp/GanianHKOST13, added-at = {2018-11-14T00:00:00.000+0100}, author = {Ganian, Robert and Hlinený, Petr and Král', Daniel and Obdrzálek, Jan and Schwartz, Jarett and Teska, Jakub}, biburl = {https://www.bibsonomy.org/bibtex/2bbadedd4702c9ffe2ee576e45dfb598c/dblp}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2013-2}, editor = {Fomin, Fedor V. and Freivalds, Rusins and Kwiatkowska, Marta Z. and Peleg, David}, ee = {https://www.wikidata.org/entity/Q57601354}, interhash = {db4206512aadd0670b4438132219a840}, intrahash = {bbadedd4702c9ffe2ee576e45dfb598c}, isbn = {978-3-642-39211-5}, keywords = {dblp}, pages = {250-262}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:37.000+0200}, title = {FO Model Checking of Interval Graphs.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2013-2.html#GanianHKOST13}, volume = 7966, year = 2013 }