Title

Rigorously defining and analyzing medical processes: An experience report

Publication Date

2008

Pages

118-131

Volume

5002

Journal Title

MODELS IN SOFTWARE ENGINEERING

Book Series Title

LECTURE NOTES IN COMPUTER SCIENCE