Adopting model checking techniques for clinical guidelines verification.

Alessio Bottrighi Laura Giordano Gianpaolo Molino Stefania Montani Paolo Terenziani Mauro Torchio Adopting model checking techniques for clinical guidelines verification. 1-19 2010 48 Artificial Intelligence in Medicine 1 http://dx.doi.org/10.1016/j.artmed.2009.09.003 db/journals/artmed/artmed48.html#BottrighiGMMTT10