Duration Specifications for Shared Processors

Zhou Chaochen, Michael Reichhardt Hansen, A. P. Ravn, Hans Rischel, J. \verb+~+Vytopil (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems
Publisher	Springer Verlag
Publication date	1991
Pages	21-32
Publication status	Published - 1991
Event	Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems - Duration: 1 Jan 1991 → …

Conference	Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems
Period	01/01/1991 → …

Cite this

@inproceedings{918b758680b44481900ddd7836aa607e,

title = "Duration Specifications for Shared Processors",

author = "Zhou Chaochen and Hansen, {Michael Reichhardt} and Ravn, {A. P.} and Hans Rischel and J. \verb+~+Vytopil",

year = "1991",

language = "English",

pages = "21--32",

booktitle = "Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems",

publisher = "Springer Verlag",

address = "Germany",

note = "Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems ; Conference date: 01-01-1991",

}

Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. Springer Verlag, 1991. p. 21-32.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Duration Specifications for Shared Processors

AU - Chaochen, Zhou

AU - Hansen, Michael Reichhardt

AU - Ravn, A. P.

AU - Rischel, Hans

A2 - \verb+~+Vytopil, J.

PY - 1991

Y1 - 1991

M3 - Article in proceedings

SP - 21

EP - 32

BT - Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems

PB - Springer Verlag

T2 - Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems

Y2 - 1 January 1991

ER -