TY  - RPRT
TI  - Kleene Algebras and Semimodules for Energy Problems
AU  - Zoltán Ésik
AU  - Uli Fahrenberg
AU  - Axel Legay
AU  - Karin Quaas
PY  - 2013
UR  - https://arxiv.org/abs/1307.0635
ID  - 1307.0635
ER  -