Daniel Kr\' Al | AC Group | TU Wienhttps://ac.notready.eu/author/daniel-kr%5C-al/Daniel Kr\' AlHugo Blox Builder (https://hugoblox.com)en-usFri, 01 Jan 2016 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngDaniel Kr\' Alhttps://ac.notready.eu/author/daniel-kr%5C-al/FO Model Checking of Interval Graphshttps://ac.notready.eu/publication/fo-model-checking-of-interval-graphs-2/Fri, 01 Jan 2016 00:00:00 +0000https://ac.notready.eu/publication/fo-model-checking-of-interval-graphs-2/