Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/rtss/FowlerW97
%A Fowler, Simon
%A Wellings, Andy J.
%B RTSS
%D 1997
%I IEEE Computer Society
%K
%P 220-229
%T Formal development of a real-time kernel.
%U http://dblp.uni-trier.de/db/conf/rtss/rtss1997.html#FowlerW97
%@ 0-8186-8268-X
@inproceedings{conf/rtss/FowlerW97,
added-at = {2023-12-13T01:27:57.000+0100},
author = {Fowler, Simon and Wellings, Andy J.},
biburl = {https://www.bibsonomy.org/bibtex/27cf097aa9ec3720beeafb871ae1f2f4c/admin},
booktitle = {RTSS},
crossref = {conf/rtss/1997},
ee = {http://doi.ieeecomputersociety.org/10.1109/REAL.1997.641284},
interhash = {71f8c6eb84a6d3bd4b7ec44be9c8ccff},
intrahash = {7cf097aa9ec3720beeafb871ae1f2f4c},
isbn = {0-8186-8268-X},
keywords = {},
pages = {220-229},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T01:27:57.000+0100},
title = {Formal development of a real-time kernel.},
url = {http://dblp.uni-trier.de/db/conf/rtss/rtss1997.html#FowlerW97},
year = 1997
}