The University of Warwick Library - WebBridge

Specification and verification of fault-tolerance, timing, and scheduling
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS.  v. 21. no. 1.   1999-01. p. 46 - 89... issn: 0164-0925 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.