DMCA

Automatic Symbolic Verification of Embedded Systems (1996)

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