M. T. Liu
-
Design and validation of computer protocols
Guest Editors' Introduction: The Rise of Protocol Engineering
IEEE Software