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) by Omar Rafiq | Menrva Books | MenrvaBooks