Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers.

Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou

Browse the full CBMS paper archive.