Energy Efficient Control

Mayr, Richard (Principal Investigator)

9 Conference contribution
1 Article

1 results

Filter

2016
Simulation Problems Over One-Counter Nets
Mayr, R., Lasota, S., Hofman, P. & Totzke, P., 14 Mar 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-46 46 p., 6.
Research output: Contribution to journal › Article › peer-review

Open Access
File