Alternating Timed Automata over Bounded Time
Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell
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