Publications
Certifying execution time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings
Publication
Year of publication: 2012
Volume : 7177 LNCS
Pages : 108-125
Month :
CMUP publication : Yes