BibTeX Entry

Back to list

@inproceedings{Parosh:formats05,
  author	= {Abdulla, Parosh Aziz},
  title		= {Verification of Parameterized Timed Systems},
  booktitle	= {Proc. FORMATS'05, International Conference on Formal Modelling and Analysis of Timed Systems},
  year		= {2005},
  URL		= {files/formats05.ps}
}