Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings (bibtex)
by Unknown
Reference:
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings (Natasha Sharygina, Helmut Veith, eds.), volume 8044 of Lecture Notes in Computer Science, 2013, Springer.
Bibtex Entry:
@proceedings{CAV2013proceedings,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference,
               CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  booktitle = {CAV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  year      = {2013},
  isbn      = {978-3-642-39798-1},
  url        = {http://dx.doi.org/10.1007/978-3-642-39799-8}
}
Powered by bibtexbrowser