Process algebra in the specification of graphics standards

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	277-290
Journal	Computer Standards and Interfaces
Volume	17
Issue number	3
DOIs	https://doi.org/10.1016/0920-5489(95)00002-C
Publication status	Published - Jun 1995
Externally published	Yes

Keywords

@article{f79e169b45b84907a22d18b536cc64f7,

title = "Process algebra in the specification of graphics standards",

keywords = "Formal methods, Computer science and informatics",

author = "Chris Reade",

year = "1995",

month = jun,

doi = "10.1016/0920-5489(95)00002-C",

language = "English",

volume = "17",

pages = "277--290",

journal = "Computer Standards and Interfaces",

issn = "0920-5489",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Process algebra in the specification of graphics standards

AU - Reade, Chris

PY - 1995/6

Y1 - 1995/6

KW - Formal methods

KW - Computer science and informatics

U2 - 10.1016/0920-5489(95)00002-C

DO - 10.1016/0920-5489(95)00002-C

M3 - Article

SN - 0920-5489

VL - 17

SP - 277

EP - 290

JO - Computer Standards and Interfaces

JF - Computer Standards and Interfaces

IS - 3

ER -