TY - BOOK AU - Diaz, Michel TI - Protocol specification, testing and verification PY - 1986/// CY - Amsterdam PB - North-Holland Publishing Company KW - Computer science KW - Protocol specification, testing and verification KW - protocol specification KW - protocol testing KW - protocol verification ER -