Michel Diaz

1 published title

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, T

(Contributor)

1 edition