BibTeX Entry

Back to list

@inproceedings{Parosh:Bengt:Mats:Doron:POM,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Kindahl, Mats and Peled, Doron},
  title		= {A General Approach to Partial Order Reductions in Symbolic Verification},
  booktitle	= {Proc. 10th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  volume	= {1427},
  pages		= {379--390},
  year		= {1998},
  URL		= {files/pom_cav98.ps}
}