%0 Conference Paper %1 conf/fm/SchmittHBRM06 %A Schmitt, Jonathan %A Hoffmann, Alwin %A Balser, Michael %A Reif, Wolfgang %A Marcos, Mar %B FM %D 2006 %E Misra, Jayadev %E Nipkow, Tobias %E Sekerinski, Emil %I Springer %K %P 32-47 %T Interactive Verification of Medical Guidelines. %U http://dblp.uni-trier.de/db/conf/fm/fm2006.html#SchmittHBRM06 %V 4085 %@ 3-540-37215-6

@inproceedings{conf/fm/SchmittHBRM06, added-at = {2023-12-12T21:46:12.000+0100}, author = {Schmitt, Jonathan and Hoffmann, Alwin and Balser, Michael and Reif, Wolfgang and Marcos, Mar}, biburl = {https://www.bibsonomy.org/bibtex/25fbd1ca2f73939f8058db014d2ea9963/admin}, booktitle = {FM}, crossref = {conf/fm/2006}, editor = {Misra, Jayadev and Nipkow, Tobias and Sekerinski, Emil}, ee = {https://doi.org/10.1007/11813040_3}, interhash = {42cfe59077c478931a03383e72d960ff}, intrahash = {5fbd1ca2f73939f8058db014d2ea9963}, isbn = {3-540-37215-6}, keywords = {}, pages = {32-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:46:12.000+0100}, title = {Interactive Verification of Medical Guidelines.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2006.html#SchmittHBRM06}, volume = 4085, year = 2006 }