BibTeX Entry

Back to list

@misc{Parosh:VEPAS,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title		= {Verification of parametrized (timed) systems using (timed) {P}etri nets},
  note		= {Invited Contribution for VEPAS'01, Workshop on Verification of Parametrized Systems},
  year		= {2001},
  URL		= {files/vepas.ps}
}