Verifying Incomplete Networks of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Christian Miller' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in GoogleThis author has not been identified. Look up 'Bernd Becker' in Google

runs on WebDSL