Compositionality in real-time shared variable

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

}