Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Klaus Gresser. An Event Model for Deadline Verification of Hard Real-Time Systems. In Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings. pages 118-123, IEEE, 1993. [doi]
Abstract is missing.