Reachability−Time Games on Timed Automata
Marcin Jurdzinski and Ashutosh Trivedi
Details
| Book Title |
Automata‚ Languages and Programming |
| Journal |
ICALP |
| Pages |
838–849 |
| Publisher |
Springer |
| Series |
LNCS |
| Volume |
4596 |
| Year |
2007 |
Links
Related pages
|
People |