Verification of Real-Time Systems using Linear Relation Analysis (1997)

Cached

Download Links

by Nicolas Halbwachs , Yann-Erick Proy , Patrick Roumanoff
Venue:FORMAL METHODS IN SYSTEM DESIGN
Citations:117 - 6 self