RNDr. David Klaška
Katedra teorie programování
| e‑mail: |
|
|---|
Publikace
Počet publikací: 11
2014
-
Minimizing Running Costs in Consumption Systems
Computer Aided Verification, rok: 2014