Login / Signup

On-the-fly symbolic model checking for real-time systems.

Ahmed BouajjaniStavros TripakisSergio Yovine
Published in: RTSS (1997)
Keyphrases