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

Guido Sciavicco, Jos M. Jurez, Manuel Campos

Browse the full IWINAC paper archive.