RNDr. David Klaška
Institute for Theoretical Computer Science
E‑mail: |
---|
Publications
Total number of publications: 11
2014
-
Minimizing Running Costs in Consumption Systems
Computer Aided Verification, year: 2014