Georges Morbé, Christoph Scholl. Fully Symbolic Model Checking for Timed Automata. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 9-18, OFFIS-Institut für Informatik, 2011.
Abstract is missing.