print · login   

Bibtex actions:
  edit    source    raw source    raw html

2026

  1. Pieter J.L. Cuijpers, Jonas Hansen and Kim G. Larsen. Safe and infinite resource scheduling using energy timed automata. Science of Computer Programming, 247, 103358, 2026, https://doi.org/10.1016/j.scico.2025.103358.