Automatic Symbolic Verification of Embedded Systems (1996)

by Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho
Citations:266 - 24 self