Tommaso Bolognesi, Harry Rudin. On the Analysis of Time-Dependent Protocols by Network Flow Algorithms. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 491-513, North-Holland, 1984.
No references recorded for this publication.
No citations of this publication recorded.