SPIN model checking for the verification of clinical
guidelines

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Lingua originale	Italian
Stato di pubblicazione	Pubblicato - 1 gen 2006
Evento	ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols - Riva del Garda, Italy Durata: 1 gen 2006 → …

???event.eventtypes.event.conference???	ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols
Città	Riva del Garda, Italy
Periodo	1/01/06 → …

Altri file e collegamenti

@conference{8bec44a4a991466abbffabf9f693fa5e,

title = "SPIN model checking for the verification of clinical guidelines",

author = "Paolo TERENZIANI and Laura GIORDANO and Alessio BOTTRIGHI and Stefania MONTANI and DONZELLA L.",

year = "2006",

month = jan,

day = "1",

language = "Italian",

note = "ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols ; Conference date: 01-01-2006",

}

SPIN model checking for the verification of clinical guidelines. / TERENZIANI, Paolo ; GIORDANO, Laura ; BOTTRIGHI, Alessio et al.
2006. Articolo presentato al ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols, Riva del Garda, Italy.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

TY - CONF

T1 - SPIN model checking for the verification of clinical guidelines

AU - TERENZIANI, Paolo

AU - GIORDANO, Laura

AU - BOTTRIGHI, Alessio

AU - MONTANI, Stefania

AU - L., DONZELLA

PY - 2006/1/1

Y1 - 2006/1/1

UR - https://iris.uniupo.it/handle/11579/29463

M3 - Contributo in Atti di Convegno

T2 - ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols

Y2 - 1 January 2006

ER -