@inproceedings{DBLP:conf/deductive/DeneckerDPBS95,
  author    = {Marc Denecker and
               Guy Duchatelet and
               Frank Piessens and
               Kristof Van Belleghem and
               Danny De Schreye},
  title     = {Using Event Calculus for Protocol Specification: An Experiment},
  booktitle = {Deductive Databases / Abduction in Deductive Databases},
  series    = {GMD-Studien},
  volume    = {266},
  pages     = {187--201},
  publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
  year      = {1995}
}

{"_id":"6aaKcow8mMvcZ2SYg","bibbaseid":"denecker-duchatelet-piessens-belleghem-schreye-usingeventcalculusforprotocolspecificationanexperiment-1995","downloads":0,"creationDate":"2018-08-29T13:17:52.351Z","title":"Using Event Calculus for Protocol Specification: An Experiment","author_short":["Denecker, M.","Duchatelet, G.","Piessens, F.","Belleghem, K. V.","Schreye, D. D."],"year":1995,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marc"],"propositions":[],"lastnames":["Denecker"],"suffixes":[]},{"firstnames":["Guy"],"propositions":[],"lastnames":["Duchatelet"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]},{"firstnames":["Kristof","Van"],"propositions":[],"lastnames":["Belleghem"],"suffixes":[]},{"firstnames":["Danny","De"],"propositions":[],"lastnames":["Schreye"],"suffixes":[]}],"title":"Using Event Calculus for Protocol Specification: An Experiment","booktitle":"Deductive Databases / Abduction in Deductive Databases","series":"GMD-Studien","volume":"266","pages":"187–201","publisher":"Gesellschaft für Mathematik und Datenverarbeitung MbH","year":"1995","bibtex":"@inproceedings{DBLP:conf/deductive/DeneckerDPBS95,\n author = {Marc Denecker and\n Guy Duchatelet and\n Frank Piessens and\n Kristof Van Belleghem and\n Danny De Schreye},\n title = {Using Event Calculus for Protocol Specification: An Experiment},\n booktitle = {Deductive Databases / Abduction in Deductive Databases},\n series = {GMD-Studien},\n volume = {266},\n pages = {187--201},\n publisher = {Gesellschaft f{\\\"{u}}r Mathematik und Datenverarbeitung MbH},\n year = {1995}\n}\n\n","author_short":["Denecker, M.","Duchatelet, G.","Piessens, F.","Belleghem, K. V.","Schreye, D. D."],"key":"DBLP:conf/deductive/DeneckerDPBS95","id":"DBLP:conf/deductive/DeneckerDPBS95","bibbaseid":"denecker-duchatelet-piessens-belleghem-schreye-usingeventcalculusforprotocolspecificationanexperiment-1995","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["using","event","calculus","protocol","specification","experiment","denecker","duchatelet","piessens","belleghem","schreye"],"keywords":[],"authorIDs":[],"dataSources":["cjvMqzGsyByuD9JLe"]}