A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems (1994)

Cached

Download Links

by Insup Lee , Patrice Brémond-Grégoire , Richard Gerber
Venue:PROCEEDINGS OF THE IEEE
Citations:58 - 40 self