Functionality decomposition by compositional correstness preserving transformation

E. Brinksma; R. Langerak; P. Broekroelofs

doi:10.1007/3-540-56922-7_31

Functionality decomposition by compositional correstness preserving transformation

E. Brinksma, R. Langerak, P. Broekroelofs

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

Original language	English
Title of host publication	Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)
Editors	C. Courcoubetis
Publisher	Springer
ISBN (Print)	3-540-56922-7
DOIs	https://doi.org/10.1007/3-540-56922-7_31
Publication status	Published - 1993

Publication series

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

Access to Document

10.1007/3-540-56922-7_31

Cite this

Brinksma, E., Langerak, R., & Broekroelofs, P. (1993). Functionality decomposition by compositional correstness preserving transformation. In C. Courcoubetis (Ed.), Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993) (Lecture Notes in Computer Science; Vol. 697). Springer. https://doi.org/10.1007/3-540-56922-7_31

@inproceedings{10da722230cf4d62b8e6038e5f72411e,

title = "Functionality decomposition by compositional correstness preserving transformation",

author = "E. Brinksma and R. Langerak and P. Broekroelofs",

year = "1993",

doi = "10.1007/3-540-56922-7_31",

language = "English",

isbn = "3-540-56922-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

editor = "C. Courcoubetis",

booktitle = "Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)",

address = "Germany",

}

Brinksma, E, Langerak, R & Broekroelofs, P 1993, Functionality decomposition by compositional correstness preserving transformation. in C Courcoubetis (ed.), Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993). Lecture Notes in Computer Science, vol. 697, Springer. https://doi.org/10.1007/3-540-56922-7_31

Functionality decomposition by compositional correstness preserving transformation. / Brinksma, E.; Langerak, R.; Broekroelofs, P.
Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993). ed. / C. Courcoubetis. Springer, 1993. (Lecture Notes in Computer Science; Vol. 697).

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

TY - GEN

T1 - Functionality decomposition by compositional correstness preserving transformation

AU - Brinksma, E.

AU - Langerak, R.

AU - Broekroelofs, P.

PY - 1993

Y1 - 1993

U2 - 10.1007/3-540-56922-7_31

DO - 10.1007/3-540-56922-7_31

M3 - Conference contribution

SN - 3-540-56922-7

T3 - Lecture Notes in Computer Science

BT - Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)

A2 - Courcoubetis, C.

PB - Springer

ER -