11
TITLE: Structuring a Formal Specification starting from Process Modeling
AUTHORS: Daniel Riesco; German Montejano; Robert Uzal; Alejandro Sanchez ; Ana Gabriela Garis; Narayan C Debnath;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: DBLP
Page 2 of 2. Total results: 11.