Rigorously Defining and Analyzing Medical Processes: An Experience Report.

Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens

Browse the full MODELS paper archive.