BibTeX record conf/cav/JhalaM05

download as .bib file

@inproceedings{DBLP:conf/cav/JhalaM05,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {Interpolant-Based Transition Relation Approximation},
  booktitle = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  pages     = {39--51},
  publisher = {Springer},
  year      = {2005}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier