logo
BibTeX Entry


@inproceedings{Parosh:Bengt:Timed:Networks,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  editor	= {Steffen, Bernhard},
  title		= {Verifying Networks of Timed Processes},
  booktitle	= {Proc. TACAS '98-4th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems},
  series	= {Lecture Notes in Computer Science},
  volume	= {1384},
  pages		= {298--312},
  year		= {1998},
  URL		= {files/TN.ps}
}