Title

Rigorously defining and analyzing medical processes: An experience report

Publication Date

2008

Journal or Book Title

MODELS IN SOFTWARE ENGINEERING

Volume

5002

Pages

118-131

Book Series Title

LECTURE NOTES IN COMPUTER SCIENCE