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 proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationSymposium on Formal Techniques in Real-Time and Fault Tolerant Systems
    PublisherSpringer Verlag
    Publication date1991
    Pages21-32
    Publication statusPublished - 1991
    EventSymposium on Formal Techniques in Real-Time and Fault Tolerant Systems -
    Duration: 1 Jan 1991 → …

    Conference

    ConferenceSymposium on Formal Techniques in Real-Time and Fault Tolerant Systems
    Period01/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.