urn:nbn:it:unibo-1486
Montali, Marco (2009) Specification and Verification of Declarative Open Interaction Models - A Logic-based framework, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni