direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationsliste

An Approximative Criterion for the Potential of Energetic Reasoning
Zitatschlüssel BertholdHeinzSchulz2011
Autor Berthold, Timo and Heinz, Stefan and Schulz, Jens
Buchtitel Proceeding of the First International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems (TAPAS 2011)
Seiten 229-239
Jahr 2011
Jahrgang 6595
Herausgeber Alberto Marchetti-Spaccamela and Michael Segal
Verlag Springer
Serie Lecture Notes in Computer Science
Download Bibtex Eintrag

Zusatzinformationen / Extras