DMCA

Automatic Symbolic Verification of Embedded Systems (1996)

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