View of Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Return to Article Details Approximate Model Checking of Real-Time Systems for Linear Duration Invariants Download Download PDF