|
Protocol specification, testing, and verification : proceedings of the IFIP WG6.1 second international workshop on protocol specifictaion, testing, and verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 may 1982 / edited by Carl Sunshine |
|