Bibtex entries of Prof. Orna Grumberg

@inproceedings{AFFGPTV03,
  author = {R. Armoni and L. Fix and A. Flaisher and O. Grumberg and N. Piterman and A. Tiemeyer and M.Y. Vardi},
  title = {Enhanced Vacuity Detection in Linear Temporal Logic},
  booktitle = {15th International Conference on Computer Aided Verification},
  pages = {368--380},
  year = {2003},
  volume = {2725},
  series = {Lecture Notes in Computer Science},
  address = {Boulder, CO, USA},
  month = {July},
  publisher = {© Springer-Verlag},
  opturl = {2003/AFFGPTV03.html},
  pdf = {../cav03-vacuity.ps.gz},
  keywords = {Model Checking,Vacuity,LTL}
}