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

Handle.net

@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",

}