[Zurück]

@article{TUW-140083,
    author = {ten Teije, Annette and Marcos, Mar and Balser, Michael and van Croonenborg, Joyce and Duelli, Christoph and van Harmelen, Frank and Lucas, Peter and Miksch, Silvia and Reif, Wolfgang and Rosenbrand, Kitty and Seyfang, Andreas},
    title = {Improving medical protocols by formal methods},
    journal = {Artificial Intelligence in Medicine},
    year = {2006},
    volume = {36},
    number = {3},
    pages = {193--209}
}