Alternating Timed Automata over Bounded Time
Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell
Details
| Address |
Los Alamitos‚ CA‚ USA |
| Book Title |
25th Annual IEEE Symposium on Logic in Computer Science (LICS)‚ 2010 |
| Pages |
60–69 |
| Publisher |
IEEE Computer Society |
| Year |
2010 |
Links
Related pages
|
People |