André Gießler, Jörg Ritter, Paul Molitor. BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 133-143, OFFIS-Institut für Informatik, 2011.
Abstract is missing.