From State Machines to Temporal Logic: Specification Methods for Protocol Standards. Schwartz, R. L. & Melliar-Smith, P. M. In Proceedings of The Analysis of Concurrent Systems, pages 55-65, 1983.
Paper bibtex @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}
}
Downloads: 0
{"_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"]}