BibTeX record conf/kbse/HeJBGW10

download as .bib file

@inproceedings{DBLP:conf/kbse/HeJBGW10,
  author       = {Ru He and
                  Paul Jennings and
                  Samik Basu and
                  Arka P. Ghosh and
                  Huaiqing Wu},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {A bounded statistical approach for model checking of unbounded until
                  properties},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {225--234},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859043},
  doi          = {10.1145/1858996.1859043},
  timestamp    = {Wed, 27 Feb 2019 10:53:44 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HeJBGW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics