Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study

Guido Sciavicco, José M. Juárez, Manuel Campos. Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. In José Mira Mira, José Manuel Ferrández, José R. Álvarez, Félix de la Paz, F. Javier Toledo, editors, Bioinspired Applications in Artificial and Natural Computation, Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II. Volume 5602 of Lecture Notes in Computer Science, pages 158-167, Springer, 2009. [doi]

Authors

Guido Sciavicco

This author has not been identified. Look up 'Guido Sciavicco' in Google

José M. Juárez

This author has not been identified. Look up 'José M. Juárez' in Google

Manuel Campos

This author has not been identified. Look up 'Manuel Campos' in Google