@INPROCEEDINGS{Hahnle1986,
     author = {H{\"{a}}hnle, Reiner and Heisel, Maritta and Reif, Wolfgang and Stephan, Werner},
     editor = {Siekmann, J{\"{o}}rg},
      title = {An Interactive Verification System Based on Dynamic Logic},
  booktitle = {Proceedings 8th International Conference on Automated Deduction},
     series = {LNCS 230},
     number = {230},
       year = {1986},
      pages = {306--315},
  publisher = {Springer},
        url = {http://www.springerlink.com/},
   abstract = {to be inserted},
showonweb={1},
}

{"_id":"LgJmHnRgrcFxy9m8P","bibbaseid":"hhnle-heisel-reif-stephan-aninteractiveverificationsystembasedondynamiclogic-1986","downloads":0,"creationDate":"2019-03-05T16:33:49.202Z","title":"An Interactive Verification System Based on Dynamic Logic","author_short":["Hähnle, R.","Heisel, M.","Reif, W.","Stephan, W."],"year":1986,"bibtype":"inproceedings","biburl":"https://paluno.uni-due.de/fileadmin/paluno_gesamt.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hähnle"],"firstnames":["Reiner"],"suffixes":[]},{"propositions":[],"lastnames":["Heisel"],"firstnames":["Maritta"],"suffixes":[]},{"propositions":[],"lastnames":["Reif"],"firstnames":["Wolfgang"],"suffixes":[]},{"propositions":[],"lastnames":["Stephan"],"firstnames":["Werner"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Siekmann"],"firstnames":["Jörg"],"suffixes":[]}],"title":"An Interactive Verification System Based on Dynamic Logic","booktitle":"Proceedings 8th International Conference on Automated Deduction","series":"LNCS 230","number":"230","year":"1986","pages":"306–315","publisher":"Springer","url":"http://www.springerlink.com/","abstract":"to be inserted","showonweb":"1","bibtex":"@INPROCEEDINGS{Hahnle1986,\r\n author = {H{\\\"{a}}hnle, Reiner and Heisel, Maritta and Reif, Wolfgang and Stephan, Werner},\r\n editor = {Siekmann, J{\\\"{o}}rg},\r\n title = {An Interactive Verification System Based on Dynamic Logic},\r\n booktitle = {Proceedings 8th International Conference on Automated Deduction},\r\n series = {LNCS 230},\r\n number = {230},\r\n year = {1986},\r\n pages = {306--315},\r\n publisher = {Springer},\r\n url = {http://www.springerlink.com/},\r\n abstract = {to be inserted},\r\nshowonweb={1},\r\n}\r\n\r\n","author_short":["Hähnle, R.","Heisel, M.","Reif, W.","Stephan, W."],"editor_short":["Siekmann, J."],"key":"Hahnle1986","id":"Hahnle1986","bibbaseid":"hhnle-heisel-reif-stephan-aninteractiveverificationsystembasedondynamiclogic-1986","role":"author","urls":{"Paper":"http://www.springerlink.com/"},"downloads":0,"html":""},"search_terms":["interactive","verification","system","based","dynamic","logic","hähnle","heisel","reif","stephan"],"keywords":[],"authorIDs":[],"dataSources":["AWvjx9ARMPnhsBARR"]}