BibTeX Entry

Back to list

@inproceedings{JonssonN00,
  author	= {Jonsson, Bengt and Nilsson, Marcus},
  title		= {Transitive Closures of Regular Relations for Verifying Infinite-State Systems.},
  booktitle	= {Proc. TACAS '00-6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems},
  year		= {2000},
  pages		= {220--234},
  URL		= {files/JonssonN00.ps}
}