BibTeX Entry

Back to list

@phdthesis{Pritha:thesis,
  author	= {Mahata, P.},
  title		= {Model Checking Parameterized Timed Systems},
  school	= {Dept. of Information Technology, Uppsala University, Sweden},
  year		= {2005},
  address	= {Uppsala, Sweden},
  homepage	= {http://publications.uu.se/abstract.xsql?dbid=4835}
}