DMCA

Using Integer Programming To Verify General Safety And Liveness Properties (1995)

Cached

Download Links

by James Corbett , James C. Corbett , George S. Avrunin , George S. Avrunin
Venue:Formal Methods in System Design
Citations:49 - 20 self