2020
Formal Models of the OSPF Routing Protocol.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020