| Originalsprog | Engelsk |
|---|
| Antal sider | 10 |
|---|---|
| Status | Udgivet - 2006 |
One Clock Priced Timed Automata: Model Checking and Optimal Strategies
Patricia Bouyer, Francois Laroussinie, Kim Guldstrand Larsen, Nicolas Markey
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning