@inproceedings{lerda03symbolic,
  author = {Flavio Lerda and Nishant Sinha and Michael Theobald},
  title = {Symbolic Model Checking of Software},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  volume = {89},
  issue = {3},
  publisher = {Elsevier},
  editor = {Byron Cook and Scott Stoller and Willem Visser},
  year = {2003}
}