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]
@inproceedings{Gresser93,
title = {An Event Model for Deadline Verification of Hard Real-Time Systems},
author = {Klaus Gresser},
year = {1993},
doi = {10.1109/EMWRT.1993.639067},
url = {http://dx.doi.org/10.1109/EMWRT.1993.639067},
researchr = {https://researchr.org/publication/Gresser93},
cites = {0},
citedby = {0},
pages = {118-123},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings},
publisher = {IEEE},
}