B. Deianov

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Joy N. Reed, D. M. Jackson, B. Deianov, George M. Reed
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. FASE (1998)