Christian Miller, Christoph Scholl, Bernd Becker. Verifying Incomplete Networks of 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 113-122, OFFIS-Institut für Informatik, 2011.
No references recorded for this publication.
No citations of this publication recorded.