Omar Rafiq profile picture

Omar Rafiq

Stand Alone

Protocol Text Systems, VI: Proceedings of the Ifip Tc6/Wg6.1 Sixth International Workshop on Protocol Test Systems Pau, France, 28-30 September, 199 (North-Holland Mathematical Library)
Formal Description Techniques VIII
CFIP'91, Ingénierie des protocoles
Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology)