×
2020
Formal Models of the OSPF Routing Protocol.
[DOI]
Jack Drury
,
Peter Höfner
,
Weiyou Wang
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020