BibTeX record conf/ifipTCS/ChocklerK02

• > Home > conf/ifipTCS/ChocklerK02

@inproceedings{DBLP:conf/ifipTCS/ChocklerK02,
  author       = {Hana Chockler and
                  Orna Kupferman},
  editor       = {Ricardo A. Baeza{-}Yates and
                  Ugo Montanari and
                  Nicola Santoro},
  title        = {Coverage of Implementations by Simulating Specifications},
  booktitle    = {Foundations of Information Technology in the Era of Networking and
                  Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
                  - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
                  on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
                  Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
  series       = {{IFIP} Conference Proceedings},
  volume       = {223},
  pages        = {409--421},
  publisher    = {Kluwer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-0-387-35608-2\_34},
  doi          = {10.1007/978-0-387-35608-2\_34},
  timestamp    = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/ChocklerK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}