Pubblicazioni
| Autori: | Alessio Bottrighi |
| Laura Giordano | |
| Gianpaolo Molino | |
| Stefania Montani | |
| Paolo Terenziani | |
| Mauro Torchio | |
| Titolo: | Adopting model checking techniques for clinical guidelines verification |
| Apparso su: | Artificial Intelligence in Medicine 48 1 |
| Pagine: | 1-19 |
| Anno: | 2010 |
| Tipo Pubblicazione: | Paper on International Journal |