Improved Bounded Model Checking of Timed Automata.

Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Browse the full ICSE paper archive.