Go to the corresponding LIPIcs Volume Portal 
Cachera, David ; Fahrenberg, Uli ; Legay, Axel
pdfformat: 

@InProceedings{cachera_et_al:LIPIcs:2015:5651, author = {David Cachera and Uli Fahrenberg and Axel Legay}, title = {{An omegaAlgebra for RealTime Energy Problems}}, booktitle = {35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)}, pages = {394407}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897972}, ISSN = {18688969}, year = {2015}, volume = {45}, editor = {Prahladh Harsha and G. Ramalingam}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5651}, URN = {urn:nbn:de:0030drops56511}, doi = {10.4230/LIPIcs.FSTTCS.2015.394}, annote = {Keywords: Energy problem, Real time, Starcontinuous Kleene algebra} }
Keywords:  Energy problem, Real time, Starcontinuous Kleene algebra  
Seminar:  35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)  
Issue Date:  2015  
Date of publication:  11.12.2015 