Duration Specifications for Shared Processors

Zhou Chaochen; Michael Reichhardt Hansen; A. P. Ravn; Hans Rischel; J. \verb+~+Vytopil

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

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

Cite this

Chaochen, Z., Hansen, M. R., Ravn, A. P., Rischel, H., & \verb+~+Vytopil, J. (Ed.) (1991). Duration Specifications for Shared Processors. In Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (pp. 21-32). Springer Verlag.

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

}

Duration Specifications for Shared Processors. / Chaochen, Zhou; Hansen, Michael Reichhardt; Ravn, A. P.; Rischel, Hans; \verb+~+Vytopil, J. (Editor).

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 -