Verification of Clinical Guidelines by Model Checking.

Beatriz Prez, Ivan Porres

Browse the full CBMS paper archive.