Real-Time Symbolic Model Checking for Discrete Time Models (1994)

by Sergio V. Campos , Edmund M. Clarke
Citations:30 - 3 self