@inproceedings{DBLP:conf/fm/Jackson94,
  author    = {Daniel Jackson},
  title     = {Abstract Model Checking of Infinite Specifications},
  booktitle = {FME '94: Industrial Benefit of Formal Methods, Second International
               Symposium of Formal Methods Europe, Barcelona, Spain, October
               24-18, 1994, Proceedings},
  year      = {1994},
  pages     = {519-531},
}

{"_id":"ziWHSCEbEdcAtoF4j","bibbaseid":"jackson-abstractmodelcheckingofinfinitespecifications-1994","author_short":["Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Abstract Model Checking of Infinite Specifications","booktitle":"FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings","year":"1994","pages":"519-531","bibtex":"@inproceedings{DBLP:conf/fm/Jackson94,\n author = {Daniel Jackson},\n title = {Abstract Model Checking of Infinite Specifications},\n booktitle = {FME '94: Industrial Benefit of Formal Methods, Second International\n Symposium of Formal Methods Europe, Barcelona, Spain, October\n 24-18, 1994, Proceedings},\n year = {1994},\n pages = {519-531},\n}\n\n","author_short":["Jackson, D."],"key":"DBLP:conf/fm/Jackson94","id":"DBLP:conf/fm/Jackson94","bibbaseid":"jackson-abstractmodelcheckingofinfinitespecifications-1994","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb"],"keywords":[],"search_terms":["abstract","model","checking","infinite","specifications","jackson"],"title":"Abstract Model Checking of Infinite Specifications","year":1994}