|
Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International workshop on protocol specification, testing, and verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., june 11-14, 1984 / edited by Yechiam Yemini, Robert Strom, Shaula Yemini |
|