Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.

Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed

Browse the full FASE paper archive.