Execution-time clocks and Ravenscar kernels

Juan Antonio de la Puente, Juan Zamorano. Execution-time clocks and Ravenscar kernels. In Tullio Vardanega, editor, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. pages 82-86, ACM, 2003. [doi]

@inproceedings{PuenteZ03,
  title = {Execution-time clocks and Ravenscar kernels},
  author = {Juan Antonio de la Puente and Juan Zamorano},
  year = {2003},
  doi = {10.1145/959222.959237},
  url = {https://doi.org/10.1145/959222.959237},
  researchr = {https://researchr.org/publication/PuenteZ03},
  cites = {0},
  citedby = {0},
  pages = {82-86},
  booktitle = {Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003},
  editor = {Tullio Vardanega},
  publisher = {ACM},
  isbn = {978-1-4503-7446-0},
}