BibTeX Entry

Back to list

@inproceedings{TNK:lics,
  author	= {Abdulla, Parosh Aziz and Deneux, Johann and Mahata, Pritha},
  title		= {Multi-Clock Timed Networks},
  booktitle	= {Proc. LICS '04-20th IEEE Int. Symp. on Logic in Computer Science},
  pages		= {345--354},
  year		= {2004},
  URL		= {files/tn2reach.ps}
}