Publikace
Počet publikací: 11
2014
-
Minimizing Running Costs in Consumption Systems
Computer Aided Verification, rok: 2014