Improving medical protocols by formal methods

Annette ten Teije^*, Mar Marcos, Michel Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review