File(s) stored somewhere else
Please note: Linked content is NOT stored on Carnegie Mellon University and we can't guarantee its availability, quality, security or accept any liability.
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods
journal contribution
posted on 2003-01-01, 00:00 authored by Sanjit A. Seshia, Randal BryantRandal BryantInstitute for Software Research