Compositionality in real-time shared variable

F.S. de Boer, W-P de Roever, H. Tej, M. van Hulst

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the School and Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems
Editors	B. Jonsson, J. Parrow
Pages	420-440
Number of pages	21
Publication status	Published - 1996

Cite this

@inproceedings{6571778e28a948b3978745d2a5ebaa12,

title = "Compositionality in real-time shared variable",

author = "{de Boer}, F.S. and {de Roever}, W-P and H. Tej and {van Hulst}, M.",

year = "1996",

language = "Undefined/Unknown",

pages = "420--440",

editor = "B. Jonsson and J. Parrow",

booktitle = "Proceedings of the School and Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems",

}