%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 }