Specification and Verification of Fault-tolerance, Timing and Scheduling (1999)

Cached

Download Links

by Zhiming Liu , Mathai Joseph
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:19 - 5 self