logo
BibTeX Entry


@article{Parosh:Bengt:Timed:Networks:journal,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title		= {Model checking of systems with many identical timed processes},
  journal	= {Theoretical Computer Science},
  volume	= {290},
  number	= {1},
  year		= {2003},
  pages		= {241--264},
  URL		= {files/TN_detailed.ps}
}