Vol-3007⫷ Vol-3008 ⫸Vol-3009
urn:nbn:de:0074-3008-0


Vol-3008/short5⫷Vol-3008/paper3⫸Vol-3008/short6
Gabriella BettonteStéphane LouiseRenaud Sirdey

Towards a Quantum Algorithm for Evaluating WCETs