Jack Drury

According to our database, Jack Drury authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Formal Models of the OSPF Routing Protocol.

Jack Drury, Peter Höfner, Weiyou Wang

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020