Italiano (Italian) English (Inglese)
Thursday, 28 March 2024

Publications

Back
Pubblication Details
Authors:Alessio Bottrighi
Laura Giordano
Gianpaolo Molino
Stefania Montani
Paolo Terenziani
Mauro Torchio
Title:Adopting model checking techniques for clinical guidelines verification
Published on:Artificial Intelligence in Medicine 48 1
Pages:1-19
Year:2010
Tipo Pubblicazione:Paper on International Journal