%0 Book Section %1 Schmitt2006 %A Schmitt, Jonathan %A Hoffmann, Alwin %A Balser, Michael %A Reif, Wolfgang %A Marcos, Mar %B FM 2006: Formal Methods %C Berlin / Heidelberg %D 2006 %E Misra, Jayadev %E Nipkow, Tobias %E Sekerinski, Emil %I Springer %K guideline interactive verification %P 32-47 %R 10.1007/11813040_3 %T Interactive Verification of Medical Guidelines %U http://dx.doi.org/10.1007/11813040_3 %V 4085 %@ 978-3-540-37215-8

@incollection{Schmitt2006, added-at = {2012-02-15T18:02:29.000+0100}, address = {Berlin / Heidelberg}, affiliation = {Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg, D-86135 Augsburg, Germany}, author = {Schmitt, Jonathan and Hoffmann, Alwin and Balser, Michael and Reif, Wolfgang and Marcos, Mar}, biburl = {https://www.bibsonomy.org/bibtex/2fbe354b61d996696731ae0bb74f7ab92/rhatko}, booktitle = {FM 2006: Formal Methods}, description = {Abstract - SpringerLink}, doi = {10.1007/11813040_3}, editor = {Misra, Jayadev and Nipkow, Tobias and Sekerinski, Emil}, groups = {public}, interhash = {42cfe59077c478931a03383e72d960ff}, intrahash = {fbe354b61d996696731ae0bb74f7ab92}, isbn = {978-3-540-37215-8}, keyword = {Computer Science}, keywords = {guideline interactive verification}, pages = {32-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2012-12-06T10:42:49.000+0100}, title = {Interactive Verification of Medical Guidelines}, url = {http://dx.doi.org/10.1007/11813040_3}, username = {rhatko}, volume = 4085, year = 2006 }