Publications
| 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 |