Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications

P.L.W. Geelen, Z.S. Ruttkay, J TREUR

Research output: Contribution to JournalArticleAcademicpeer-review

LanguageEnglish
Pages133-152
JournalLecture Notes in Computer Science
Volume599
Publication statusPublished - 1992

Cite this

@article{353853960313406783edb23b5803b995,
title = "Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications",
author = "P.L.W. Geelen and Z.S. Ruttkay and J TREUR",
year = "1992",
language = "English",
volume = "599",
pages = "133--152",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications. / Geelen, P.L.W.; Ruttkay, Z.S.; TREUR, J.

In: Lecture Notes in Computer Science, Vol. 599, 1992, p. 133-152.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications

AU - Geelen, P.L.W.

AU - Ruttkay, Z.S.

AU - TREUR, J

PY - 1992

Y1 - 1992

M3 - Article

VL - 599

SP - 133

EP - 152

JO - Lecture Notes in Computer Science

T2 - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -