A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View (1999)

Cached

Download Links

by Strother Moore
Venue:Formal Methods in System Design
Citations:14 - 6 self