"A Framework for Verification and Debugging of Resource Usage Properties: ..."

Pedro López-García, Luthfi Darmawan, Francisco Bueno (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics