{"_id":"suig6XFkRd78FQ76P","authorIDs":["54cf20e291c843ab6e000447"],"author_short":["Sun 0001, J.","Liu 0003, Y.","Song Dong, J."],"bibbaseid":"sun0001-liu0003-songdong-modelcheckingcsprevisitedintroducingaprocessanalysistoolkit-2008","bibdata":{"title":"Model Checking CSP Revisited: Introducing a Process Analysis Toolkit","author":["Jun Sun 0001","Yang Liu 0003","Jin Song Dong"],"author_short":["Sun 0001, J.","Liu 0003, Y.","Song Dong, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2008","key":"dblp2921125","id":"dblp2921125","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/SunLD08","url":"http://dx.doi.org/10.1007/978-3-540-88479-8_22","conference":"ISoLA","pages":"307-322","text":"ISoLA 2008:307-322","booktitle":"Proceedings of Leveraging Applications of Formal Methods (ISoLA)","bibtex":"@inproceedings{ dblp2921125,\n title = {Model Checking CSP Revisited: Introducing a Process Analysis Toolkit},\n author = {Jun Sun 0001 and Yang Liu 0003 and Jin Song Dong},\n author_short = {Sun 0001, J. and Liu 0003, Y. and Song Dong, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp2921125},\n id = {dblp2921125},\n biburl = {http://www.dblp.org/rec/bibtex/conf/isola/SunLD08},\n url = {http://dx.doi.org/10.1007/978-3-540-88479-8_22},\n conference = {ISoLA},\n pages = {307-322},\n text = {ISoLA 2008:307-322},\n booktitle = {Proceedings of Leveraging Applications of Formal Methods (ISoLA)}\n}","bibbaseid":"sun0001-liu0003-songdong-modelcheckingcsprevisitedintroducingaprocessanalysistoolkit-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88479-8_22"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/SunLD08","creationDate":"2015-02-02T07:01:54.806Z","downloads":0,"keywords":[],"search_terms":["model","checking","csp","revisited","introducing","process","analysis","toolkit","sun 0001","liu 0003","song dong"],"title":"Model Checking CSP Revisited: Introducing a Process Analysis Toolkit","year":2008,"dataSources":["LybMT8mFft82wa53F"]}