urn:nbn:it:unibo-10142
Bragaglia, Stefano (2013) Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni