BibTeX record conf/icse/ChangJ06

download as .bib file

@inproceedings{DBLP:conf/icse/ChangJ06,
  author       = {Felix Sheng{-}Ho Chang and
                  Daniel Jackson},
  editor       = {Leon J. Osterweil and
                  H. Dieter Rombach and
                  Mary Lou Soffa},
  title        = {Symbolic model checking of declarative relational models},
  booktitle    = {28th International Conference on Software Engineering {(ICSE} 2006),
                  Shanghai, China, May 20-28, 2006},
  pages        = {312--320},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134285.1134329},
  doi          = {10.1145/1134285.1134329},
  timestamp    = {Mon, 26 Nov 2018 12:14:46 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ChangJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics