Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol.

Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz

Browse the full SIMULTECH paper archive.