Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code

@inproceedings { BKSS14,
	address = { Cachan, France },
	author = { Biallas, Sebastian and Kowalewski, Stefan and Stattelmann,
		Stefan and Schlich, Bastian },
	title = { Efficient Handling of States in Abstract Interpretation of
		Industrial Programmable Logic Controller Code },
	booktitle = { Proceedings of the 12th International Workshop on Discrete
		Event Systems },
	publisher = { IFAC },
	publishedas = { Druck Online },
	language = { eng },
	year = { 2014 },
	timestamp = { 2014.02.24 },
	i11key = { conference },
	i11projectkey = { Arcade },
	note = { To appear },
	for_reporting_period = { 2014 },
}