@inproceedings{a809e047e6b141bfb213c93198890d4d,
title = "Verification and optimization of a PLC control schedule",
author = "E. Brinksma",
year = "2000",
doi = "10.1007/10722468_5",
language = "English",
isbn = "3-540-41030-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "73--92",
editor = "K. Havelund and J. Penix and W. Visser",
booktitle = "SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000)",
address = "Germany",
}