Travelled to:1 × USA
Collaborated with:P.Azéma G.Juandle M.Montbernard
Talks about:interpred (1) distribut (1) system (1) specif (1) prolog (1) verif (1) petri (1) use (1) net (1)
Person: E. Sanchis
DBLP: Sanchis:E=
Contributed to:
1984Wrote 1 papers:
- ICSE-1984-AzemaJSM #distributed #petri net #prolog #specification #using #verification
- Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets (PA, GJ, ES, MM), pp. 510–519.