Simulation Problems Over One-Counter Nets

Richard Mayr, Slawomir Lasota, Piotr Hofman, Patrick Totzke

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
Energy Efficient Control
Mayr, R.
EPSRC
1/09/15 → 31/08/19
Project: Research