Daniel Riesco, German Montejano, Robert Uzal, Alejandro Sanchez, Ana Gabriela Garis, Narayan C. Debnath. Structuring a Formal Specification starting from Process Modeling. In S. R. Subramanya, editor, Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, November 7-9, 2002, Clarion Hotel Bay View, San Diego, California, USA. pages 248-251, ISCA, 2002.
Abstract is missing.