Back to the 1983 catalog

PhD · 1983

Son T. Vuong

Formal Techniques for Protocol Specification and Validation ¾ Toward an Integrated System

Year

1983

Academic unit

Computer Science

Surname

Vuong

Supervisor

Donald D. Cowan