Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
Abstract
Nous prouvons la correction d'un algorithme de conformance ABR pour ATM.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00099167
Submitted on : Tuesday, September 26, 2006-8:51:29 AM
Last modification on : Thursday, February 15, 2024-3:31:34 AM