From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study.

Manuel J. Fernndez-Iglesias, Francisco J. Gonzlez-Castao, Jos M. Pousada Carballo, Martn Llamas Nistal, Alberto Romero Feijoo

Browse the full FM paper archive.