@article{GT-VMT-2010-BlumeBK,
	author        = "Christoph Blume and H. J. Sander Bruggink and Barbara König",
	ee            = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/408",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Recognizable Graph Languages for Checking Invariants}",
	volume        = 29,
	year          = 2010,
}