Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye. Using Event Calculus for Protocol Specification: An Experiment. In Deductive Databases / Abduction in Deductive Databases. pages 187-201, 1995.
@inproceedings{DeneckerDPBS95,
title = {Using Event Calculus for Protocol Specification: An Experiment},
author = {Marc Denecker and Guy Duchatelet and Frank Piessens and Kristof Van Belleghem and Danny De Schreye},
year = {1995},
tags = {protocol},
researchr = {https://researchr.org/publication/DeneckerDPBS95},
cites = {0},
citedby = {0},
pages = {187-201},
booktitle = {Deductive Databases / Abduction in Deductive Databases},
}