@inproceedings{DBLP:conf/icse/ChangJ06,
  author    = {Felix Sheng-Ho Chang and
               Daniel Jackson},
  title     = {Symbolic model checking of declarative relational models},
  booktitle = {28th International Conference on Software Engineering (ICSE
               2006), Shanghai, China, May 20-28, 2006},
  year      = {2006},
  pages     = {312-320},
 url_paper={pubs/2006/chang-symbolic-decl.pdf}
}

{"_id":"KEZzWYK82wYDFgpkS","bibbaseid":"chang-jackson-symbolicmodelcheckingofdeclarativerelationalmodels-2006","author_short":["Chang, F. S.","Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Felix","Sheng-Ho"],"propositions":[],"lastnames":["Chang"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Symbolic model checking of declarative relational models","booktitle":"28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006","year":"2006","pages":"312-320","url_paper":"pubs/2006/chang-symbolic-decl.pdf","bibtex":"@inproceedings{DBLP:conf/icse/ChangJ06,\n author = {Felix Sheng-Ho Chang and\n Daniel Jackson},\n title = {Symbolic model checking of declarative relational models},\n booktitle = {28th International Conference on Software Engineering (ICSE\n 2006), Shanghai, China, May 20-28, 2006},\n year = {2006},\n pages = {312-320},\n url_paper={pubs/2006/chang-symbolic-decl.pdf}\n}\n\n","author_short":["Chang, F. S.","Jackson, D."],"key":"DBLP:conf/icse/ChangJ06","id":"DBLP:conf/icse/ChangJ06","bibbaseid":"chang-jackson-symbolicmodelcheckingofdeclarativerelationalmodels-2006","role":"author","urls":{" paper":"https://groups.csail.mit.edu/sdg/pubs/2006/chang-symbolic-decl.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb"],"keywords":[],"search_terms":["symbolic","model","checking","declarative","relational","models","chang","jackson"],"title":"Symbolic model checking of declarative relational models","year":2006}