Automatic Symbolic Verification of Embedded Systems (1996)

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