Using Event Calculus for Protocol Specification: An Experiment.
M. Denecker, G. Duchatelet, F. Piessens, K. Belleghem, and D. Schreye. Deductive Databases / Abduction in Deductive Databases, volume 266 of GMD-Studien, page 187-201. Gesellschaft für Mathematik und Datenverarbeitung MbH, (1995)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/deductive/DeneckerDPBS95
%A Denecker, Marc
%A Duchatelet, Guy
%A Piessens, Frank
%A Belleghem, Kristof Van
%A Schreye, Danny De
%B Deductive Databases / Abduction in Deductive Databases
%D 1995
%E Decker, Hendrik
%E Geske, Ulrich
%E Kakas, Antonis C.
%E Sakama, Chiaki
%E Seipel, Dietmar
%E Urpí, Toni
%I Gesellschaft für Mathematik und Datenverarbeitung MbH
%K dblp
%P 187-201
%T Using Event Calculus for Protocol Specification: An Experiment.
%U http://dblp.uni-trier.de/db/conf/deductive/deductive95.html#DeneckerDPBS95
%V 266
%@ 3-88457-266-0
@inproceedings{conf/deductive/DeneckerDPBS95,
added-at = {2012-05-29T00:00:00.000+0200},
author = {Denecker, Marc and Duchatelet, Guy and Piessens, Frank and Belleghem, Kristof Van and Schreye, Danny De},
biburl = {https://www.bibsonomy.org/bibtex/2a34c3d33b55a5ce0dc1d83320aa9adf7/dblp},
booktitle = {Deductive Databases / Abduction in Deductive Databases},
crossref = {conf/deductive/1995},
editor = {Decker, Hendrik and Geske, Ulrich and Kakas, Antonis C. and Sakama, Chiaki and Seipel, Dietmar and Urpí, Toni},
interhash = {46a3da23dcb97a72706d219e751e5f15},
intrahash = {a34c3d33b55a5ce0dc1d83320aa9adf7},
isbn = {3-88457-266-0},
keywords = {dblp},
pages = {187-201},
publisher = {Gesellschaft für Mathematik und Datenverarbeitung MbH},
series = {GMD-Studien},
timestamp = {2013-12-05T11:33:55.000+0100},
title = {Using Event Calculus for Protocol Specification: An Experiment.},
url = {http://dblp.uni-trier.de/db/conf/deductive/deductive95.html#DeneckerDPBS95},
volume = 266,
year = 1995
}
