An approach to verifying concurrent systems-a medical information bus (MIB) case study.

Phil Curran, Kathy Norrie

Browse the full CBMS paper archive.