R. P. Kurshan

Verification of digital and hybrid systems