@inproceedings{DreierRossmanith19b,
 author = {Jan Dreier and
Peter Rossmanith},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 booktitle = {14th International Symposium on Parameterized and Exact Computation ({IPEC} 2019)},
 doi = {10.4230/LIPIcs.IPEC.2019.11},
 pages = {11:1--11:15},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 timestamp = {Thu, 19 Dec 2019 09:27:29 +0100},
 title = {Hardness of {FO} Model-Checking on Random Graphs},
 volume = {148},
 year = {2019}
}