E. Sanchis

Publication Activity (10 Years)

Years Active: 1984-1984
Publications (10 Years): 0

Publications

Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard
Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. ICSE (1984)