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
Année de publication: 2009
Volumen: 5602 LNCS
Número: PART 2
Pages: 158-167
Type: Communication dans un congrès