Symbolic methods for the timing analysis of programs / by Jakob Zwirchmayr. 2013
Inhalt