Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker. Bounded Model Checking of Incomplete Networks of Timed Automata. In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010. pages 61-66, IEEE, 2010. [doi]
Abstract is missing.