The following pages link to (Q4493887):
Displaying 4 items.
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance (Q1395676) (← links)
- Mechanical verification of an ideal incremental ABR conformance algorithm (Q1810852) (← links)
- (Q2754095) (← links)
- On cell delineation and the cyclic error correction process of ATM headers (Q4790764) (← links)