Boolean and Modular Abstractions for Programmable Logic Controllers

@inproceedings { BBK13,
	author = { Biallas, Sebastian and Bohlender, Dimitri and Kowalewski,
		Stefan },
	title = { Boolean and Modular Abstractions for Programmable Logic
		Controllers },
	booktitle = { Dependable Control of Discrete Systems (DCDS'13) },
	publisher = { IEEE },
	publishedas = { Druck },
	isbn = { 978-3-902823-49-6 },
	issn = { 1474-6670 },
	language = { eng },
	pages = { 97--102 },
	year = { 2013 },
	timestamp = { 2013.06.06 },
	i11key = { conference },
	i11projectkey = { Arcade },
	for_reporting_period = { 2013 },
}