(Q51779639)
Statements
Adopting model checking techniques for clinical guidelines verification. (English)
1 reference
Paolo Terenziani
1 reference
Gianpaolo Molino
1 reference
Mauro Torchio
1 reference
Stefania Montani
1 reference
27 October 2009
1 reference
48
1 reference
1
1 reference
1-19
1 reference
Identifiers
1 reference
28 January 2021
1 reference