BibTeX Entry

Back to list

@inproceedings{TN:robust,
  author	= {Abdulla, Parosh Aziz and Deneux, Johann and Mahata, Pritha},
  title		= {Open, Closed and Robust Timed Networks},
  booktitle	= {Proc. INFINITY '04-6th International Workshop on Verification of Infinite-State Systems},
  year		= {2004},
  URL		= {files/robust.ps}
}