DMCA

An Event-B Plug-in for Creating Deadlock-Freeness Theorems (2011)

Cached

Download Links

by Faqing Yang , Jean-pierre Jacquot
Venue:14TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS (2011)
Citations:1 - 1 self