Reinhard Gotzhein
-
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering