4 papers:
ICEIS-v2-2004-Turowska #analysis #nondeterminism- Application of Uncertain Variables to Stability Analysis and Stabilization for ATM ABR Congestion Control Systems (MT), pp. 523–526.
CAV-2000-RusinowitchSK #consistency #incremental #verification- Mechanical Verification of an Ideal Incremental ABR Conformance (MR, SS, FK), pp. 344–357.
FM-v1-1999-MoninK #algorithm #consistency #correctness #proving #standard- Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.
- CAV-1999-BerardF #automation #consistency #parametricity #protocol #realtime #verification
- Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.
