Paradigms for real-time systems

R.L.C. Koymans, R. Kuiper, Erik Zijlstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle of host publicationProceedings of a Symposium, Warwick, UK, September 22-23, 1988
EditorsM. Joseph
Place of PublicationBerlin
PublisherSpringer
Chapter12
Pages159-174
Number of pages16
ISBN (Electronic)978-3-540-45965-1
ISBN (Print)3-540-50302-1, 978-3-540-50302-6
DOIs
Publication statusPublished - 1988
EventFTRTFT 1988 - Warwick, United Kingdom
Duration: 22 Sep 198823 Sep 1988

Publication series

NameLecture Notes in Computer Science (LNCS)
Volume331
ISSN (Print)0302-9743

Conference

ConferenceFTRTFT 1988
CountryUnited Kingdom
CityWarwick
Period22/09/8823/09/88

Cite this