Verifying Incomplete Networks of Timed Automata

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.

Abstract

Abstract is missing.