BibTeX Entry

Back to list

@inproceedings{ta:lcs:ICALP05,
  author	= {Abdulla, Parosh Aziz and Deneux, Johann and Ouaknine, Jo{\"e}l and Worrell, James},
  title		= {Decidability and Complexity Results for Timed Automata via Channel Machines},
  booktitle	= {Proc. ICALP '05-32nd International Colloquium on Automata, Languages, and Programming},
  series	= {Lecture Notes in Computer Science},
  volume	= {3580},
  year		= {2005},
  URL		= {files/channel.ps}
}