Modelling Statecharts behaviour in a fully abstract way

C. Huizing; R.T. Gerth; W.P. Roever, de

doi:10.1007/BFb0026110

Modelling Statecharts behaviour in a fully abstract way

C. Huizing, R.T. Gerth, W.P. Roever, de

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	CAAP'88 (Proceedings 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988)
Editors	M. Dauchet, M. Nivat
Place of Publication	Berlin
Publisher	Springer
Pages	271-294
ISBN (Print)	3-540-19021-X
DOIs	https://doi.org/10.1007/BFb0026110
Publication status	Published - 1988

Publication series

Name	Lecture Notes in Computer Science
Volume	299
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0026110

Cite this

@inproceedings{8173e32c232f4f99bd2bbba3c4393984,

title = "Modelling Statecharts behaviour in a fully abstract way",

author = "C. Huizing and R.T. Gerth and {Roever, de}, W.P.",

year = "1988",

doi = "10.1007/BFb0026110",

language = "English",

isbn = "3-540-19021-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "271--294",

editor = "M. Dauchet and M. Nivat",

booktitle = "CAAP'88 (Proceedings 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988)",

address = "Germany",

}

Modelling Statecharts behaviour in a fully abstract way. / Huizing, C.; Gerth, R.T.; Roever, de, W.P.

CAAP'88 (Proceedings 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988). ed. / M. Dauchet; M. Nivat. Berlin : Springer, 1988. p. 271-294 (Lecture Notes in Computer Science; Vol. 299).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Modelling Statecharts behaviour in a fully abstract way

AU - Huizing, C.

AU - Gerth, R.T.

AU - Roever, de, W.P.

PY - 1988

Y1 - 1988

U2 - 10.1007/BFb0026110

DO - 10.1007/BFb0026110

M3 - Conference contribution

SN - 3-540-19021-X

T3 - Lecture Notes in Computer Science

SP - 271

EP - 294

BT - CAAP'88 (Proceedings 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988)

A2 - Dauchet, M.

A2 - Nivat, M.

PB - Springer

CY - Berlin

ER -