@inproceedings{ dblp4266105,
  title = {From State Machines to Temporal Logic: Specification Methods for Protocol Standards},
  author = {Richard L. Schwartz and P. M. Melliar-Smith},
  author_short = {Schwartz, R. L. and Melliar-Smith, P. M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1983},
  key = {dblp4266105},
  id = {dblp4266105},
  biburl = {http://www.dblp.org/rec/bibtex/conf/acs/SchwartzM83},
  url = {http://dx.doi.org/10.1007/3-540-16047-7_35},
  conference = {The Analysis of Concurrent Systems},
  pages = {55-65},
  text = {The Analysis of Concurrent Systems 1983:55-65},
  booktitle = {Proceedings of The Analysis of Concurrent Systems}
}

{"_id":"FNyuaToszaFhL7sMo","bibbaseid":"schwartz-melliarsmith-fromstatemachinestotemporallogicspecificationmethodsforprotocolstandards-1983","downloads":0,"creationDate":"2014-12-14T05:18:58.973Z","title":"From State Machines to Temporal Logic: Specification Methods for Protocol Standards","author_short":["Schwartz, R. L.","Melliar-Smith, P. M."],"year":1983,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/acs/SchwartzM83","bibdata":{"title":"From State Machines to Temporal Logic: Specification Methods for Protocol Standards","author":["Richard L. Schwartz","P. M. Melliar-Smith"],"author_short":["Schwartz, R. L.","Melliar-Smith, P. M."],"bibtype":"inproceedings","type":"inproceedings","year":"1983","key":"dblp4266105","id":"dblp4266105","biburl":"http://www.dblp.org/rec/bibtex/conf/acs/SchwartzM83","url":"http://dx.doi.org/10.1007/3-540-16047-7_35","conference":"The Analysis of Concurrent Systems","pages":"55-65","text":"The Analysis of Concurrent Systems 1983:55-65","booktitle":"Proceedings of The Analysis of Concurrent Systems","bibtex":"@inproceedings{ dblp4266105,\n title = {From State Machines to Temporal Logic: Specification Methods for Protocol Standards},\n author = {Richard L. Schwartz and P. M. Melliar-Smith},\n author_short = {Schwartz, R. L. and Melliar-Smith, P. M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1983},\n key = {dblp4266105},\n id = {dblp4266105},\n biburl = {http://www.dblp.org/rec/bibtex/conf/acs/SchwartzM83},\n url = {http://dx.doi.org/10.1007/3-540-16047-7_35},\n conference = {The Analysis of Concurrent Systems},\n pages = {55-65},\n text = {The Analysis of Concurrent Systems 1983:55-65},\n booktitle = {Proceedings of The Analysis of Concurrent Systems}\n}","bibbaseid":"schwartz-melliarsmith-fromstatemachinestotemporallogicspecificationmethodsforprotocolstandards-1983","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-16047-7_35"},"downloads":0},"search_terms":["state","machines","temporal","logic","specification","methods","protocol","standards","schwartz","melliar-smith"],"keywords":[],"authorIDs":[],"dataSources":["Kpbjjdkkf27SkNCSa"]}