Using Event Calculus for Protocol Specification: An Experiment. Denecker, M.; Duchatelet, G.; Piessens, F.; Belleghem, K. V.; and Schreye, D. D. In Deductive Databases / Abduction in Deductive Databases, volume 266, of GMD-Studien, pages 187–201, 1995. Gesellschaft für Mathematik und Datenverarbeitung MbH.
bibtex   
@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}
}
Downloads: 0