Verifikation von SPS-Programmen in AWL mit Hilfe von direktem Model-Checking

@inproceedings { SKW09,
	address = { D{"u}sseldorf },
	author = { Schlich, Bastian and Kowalewski, Stefan and Wernerus,
		J{"o}rg },
	booktitle = { AUTOMATION 2009, Baden-Baden, Germany },
	isbn = { 978-3-18-092067-2 },
	number = { 2067 },
	publisher = { VDI Verlag },
	series = { VDI-Berichte },
	title = { {Verifikation von SPS-Programmen in AWL mit Hilfe von
		direktem Model-Checking} },
	url = { http://publications.embedded.rwth-aachen.de/file/42 },
	year = { 2009 },
	i11key = { conference },
	for_reporting_period = { Old },
}