@inproceedings{GRAPHITE-2012-BeckmannFKM,
	author        = "Andreas Beckmann and Jaroslaw Fedorowicz and Jörg Keller and Ulrich Meyer",
	booktitle     = "{Proceedings First Workshop on GRAPH Inspection and Traversal Engineering}",
	doi           = "10.4204/EPTCS.99.4",
	pages         = "5--19",
	series        = "{EPTCS}",
	title         = "{A structural analysis of the A5/1 state transition graph}",
	volume        = 99,
	year          = 2012,
}