SPIN model checking for the verification of clinical
guidelines

Research output: Contribution to conference › Paper › peer-review

Original language	Italian
Publication status	Published - 1 Jan 2006
Event	ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols - Riva del Garda, Italy Duration: 1 Jan 2006 → …

Conference	ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols
City	Riva del Garda, Italy
Period	1/01/06 → …

Cite this

@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",

}

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 -