SOS 
Info Pubblicazioni
Ph.D. thesis
Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, March 2005.
-
Area Riservata
Accesso all'area riservata
- ASSISTENZA
Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, March 2005.