BibTeX record conf/vissas/ClarkeJS05

download as .bib file

@inproceedings{DBLP:conf/vissas/ClarkeJS05,
  author       = {Edmund M. Clarke and
                  Himanshu Jain and
                  Nishant Sinha},
  editor       = {Edmund M. Clarke and
                  Marius Minea and
                  Ferucio Laurentiu Tiplea},
  title        = {Grand Challenge: Model Check Software},
  booktitle    = {Verification of Infinite-State Systems with Applications to Security,
                  Proceedings of the {NATO} Advanced Research Workshop "Verification
                  of Infinite State Systems with Applications to Security {VISSAS} 2005",
                  Timisoara, Romania, March 17-22, 2005},
  series       = {{NATO} Security through Science Series {D:} Information and Communication
                  Security},
  volume       = {1},
  pages        = {55--68},
  publisher    = {{IOS} Press},
  year         = {2005},
  timestamp    = {Wed, 29 Nov 2017 16:34:27 +0100},
  biburl       = {https://dblp.org/rec/conf/vissas/ClarkeJS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics