Formally verifying data and control with weak reachability invariants (1998)

Cached

Download Links

by Jeffrey Su , David L. Dill , Jens U. Skakkebæk
Venue: FORMAL METHOD IN COMPUTER-AIDED DESIGN
Citations:1 - 1 self