![](/img/cover-not-exists.png)
Adopting model checking techniques for clinical guidelines verification
Alessio Bottrighi, Laura Giordano, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro TorchioVolume:
48
Year:
2010
Language:
english
Pages:
19
DOI:
10.1016/j.artmed.2009.09.003
File:
PDF, 1.06 MB
english, 2010