BibTeX Entry

Back to list

@inproceedings{Parosh:Bjesse:Een:SAT,
  author	= {Abdulla, Parosh Aziz and Bjesse, Per and E{\'e}n, Niklas},
  editor	= {Graf, S. and Schwartzbach, M.},
  title		= {Symbolic Reachability Analysis Based on {SAT} Solvers},
  booktitle	= {Proc. TACAS '00-6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems},
  series	= {Lecture Notes in Computer Science},
  volume	= {1785},
  year		= {2000},
  pdf		= {http://www.springerlink.com/content/57aga5a5bpynt3p5/fulltext.pdf}
}