Quality checking of medical guidelines using interval temporal logics: A case-study
- Sciavicco, G.
- Juarez, J.M.
- Campos, M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642022661
Año de publicación: 2009
Volumen: 5602 LNCS
Número: PART 2
Páginas: 158-167
Tipo: Aportación congreso