B. Deianov

1998
1	EE	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: 239-254

Coauthor Index

1	D. M. Jackson	[1]
2	George M. Reed	[1]
3	Joy N. Reed	[1]