FO Model Checking of Interval Graphs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Robert Ganian, Petr Hlinený, Daniel Král', Jan Obdrzálek, Jarett Schwartz, Jakub Teska
FO Model Checking of Interval Graphs
ICALP, 2013.

ICALP v2 2013
Full names Links ISxN
	author        = "Robert Ganian and Petr Hlinený and Daniel Král' and Jan Obdrzálek and Jarett Schwartz and Jakub Teska",
	booktitle     = "{Proceedings of the 40th International Colloquium on Automata, Languages, and Programming, Part II}",
	doi           = "10.1007/978-3-642-39212-2_24",
	isbn          = "978-3-642-39211-5",
	pages         = "250--262",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{FO Model Checking of Interval Graphs}",
	volume        = 7966,
	year          = 2013,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.