Estudios Estadísticos
Fakultät
Technical University of Darmstadt
Darmstadt, AlemaniaPublikationen in Zusammenarbeit mit Forschern von Technical University of Darmstadt (1)
2013
-
Automatic inference of bounds on resource consumption
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)