Logical Methods in Protocol Analysis

Izak van Langevelde, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

LanguageEnglish
Title of host publicationProceedings of the European Knowledge Acquisition Workshop, EKAW '91
EditorsMark Linster
Pages162-183
Number of pages12
Publication statusPublished - 1992

Cite this

Langevelde, I. V., & Treur, J. (1992). Logical Methods in Protocol Analysis. In M. Linster (Ed.), Proceedings of the European Knowledge Acquisition Workshop, EKAW '91 (pp. 162-183)
Langevelde, Izak van ; Treur, J. / Logical Methods in Protocol Analysis. Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. editor / Mark Linster. 1992. pp. 162-183
@inproceedings{60e98c33465842039aa134df4a93a242,
title = "Logical Methods in Protocol Analysis",
author = "Langevelde, {Izak van} and J. Treur",
year = "1992",
language = "English",
pages = "162--183",
editor = "Mark Linster",
booktitle = "Proceedings of the European Knowledge Acquisition Workshop, EKAW '91",

}

Langevelde, IV & Treur, J 1992, Logical Methods in Protocol Analysis. in M Linster (ed.), Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. pp. 162-183.

Logical Methods in Protocol Analysis. / Langevelde, Izak van; Treur, J.

Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. ed. / Mark Linster. 1992. p. 162-183.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Logical Methods in Protocol Analysis

AU - Langevelde, Izak van

AU - Treur, J.

PY - 1992

Y1 - 1992

M3 - Conference contribution

SP - 162

EP - 183

BT - Proceedings of the European Knowledge Acquisition Workshop, EKAW '91

A2 - Linster, Mark

ER -

Langevelde IV, Treur J. Logical Methods in Protocol Analysis. In Linster M, editor, Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. 1992. p. 162-183