Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	133-152
Journal	Lecture Notes in Computer Science
Volume	599
Publication status	Published - 1992

Persistent URL (handle)

@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 Science and Business Media Deutschland GmbH",

}

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

UR - https://www.scopus.com/pages/publications/85028846119

UR - https://www.scopus.com/inward/citedby.url?scp=85028846119&partnerID=8YFLogxK

M3 - Article

SN - 0302-9743

VL - 599

SP - 133

EP - 152

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -