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
Argitalpen urtea: 2009
Alea: 5602 LNCS
Zenbakia: PART 2
Orrialdeak: 158-167
Mota: Biltzar ekarpena