Automatic Symbolic Verification of Embedded Systems (1996)

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