Publication | Closed Access

Verification of Real-Time Systems using Linear Relation Analysis