Publications
Elisabeth Haxthausen, and Ralf Pinger. Efficient data validation for geographical interlocking systems. In Simon Collart Dutilleul, Thierry Lecomte, and Alexander B. Romanovsky, editors, Reliability, Safety, and [...] Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, and Andr´e Didier. COMPASS Tool Vision for a System [...] and Martin Steffen, editors, Correctness, Concurrency and Compositionality – Festschrift for Willem-Paul de Roever, number 5930 in LNCS. Springer, 2008 2007 Jan Peleska, Helge Löding, and Tatiana Kotas.