Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle (1998)

Cached

Download Links

by David Hardin , Matthew Wilding , David Greve , Rockwell Collins
Venue:Computed Aided Verification: 10th International Conference, CAV '98, Springer-Verlag LNCS 1427
Citations:13 - 3 self