BibTeX record conf/isola/ChenCFHTTWZ10

download as .bib file

@inproceedings{DBLP:conf/isola/ChenCFHTTWZ10,
  author       = {Yu{-}Fang Chen and
                  Edmund M. Clarke and
                  Azadeh Farzan and
                  Fei He and
                  Ming{-}Hsien Tsai and
                  Yih{-}Kuen Tsay and
                  Bow{-}Yaw Wang and
                  Lei Zhu},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6415},
  pages        = {643--657},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16558-0\_52},
  doi          = {10.1007/978-3-642-16558-0\_52},
  timestamp    = {Tue, 20 Dec 2022 08:08:39 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/ChenCFHTTWZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics