Searching for "Automated Verification of a Parametric Real-Time Program The ABR Conformance Protocol." – sorted by Relevance.
-
Automatic verification of a parametric real-time program: the ABR conformance protocol
- B. Brard and L. Fribourg Automatic verification of a parametric real-time program: the ABR
- Cited by 13 (2 self) – Add To MetaCart
-
unknown title
- Automated verification of a parametric real-time program: the ABR conformance protocol B
- Add To MetaCart

