[Lecture Notes in Computer Science] Artificial Intelligence in Medicine Volume 2780 || Experiences in the Formalisation and Verification of Medical Protocols
Dojat, Michel, Keravnou, Elpida T., Barahona, PedroVolume:
10.1007/b1
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-39907-0_19
File:
PDF, 249 KB
english, 2003