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
Datum der Publikation: 2009
Ausgabe: 5602 LNCS
Nummer: PART 2
Seiten: 158-167
Art: Konferenz-Beitrag