@inproceedings{ dblp2921125,
  title = {Model Checking CSP Revisited: Introducing a Process Analysis Toolkit},
  author = {Jun Sun 0001 and Yang Liu 0003 and Jin Song Dong},
  author_short = {Sun 0001, J. and Liu 0003, Y. and 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)}
}

{"_id":"KPB6s3GoRvwhYtTaN","authorIDs":[],"author_short":["0001, J.<nbsp>S.","0003, Y.<nbsp>L.","Dong, J.<nbsp>S."],"bibbaseid":"0001-0003-dong-modelcheckingcsprevisitedintroducingaprocessanalysistoolkit-2008","bibdata":{"author":["0001, Jun Sun","0003, Yang Liu","Dong, Jin Song"],"author_short":["0001, J.<nbsp>S.","0003, Y.<nbsp>L.","Dong, J.<nbsp>S."],"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}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/SunLD08","booktitle":"Proceedings of Leveraging Applications of Formal Methods (ISoLA)","conference":"ISoLA","id":"dblp2921125","key":"dblp2921125","pages":"307-322","text":"ISoLA 2008:307-322","title":"Model Checking CSP Revisited: Introducing a Process Analysis Toolkit","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-540-88479-8_22","year":"2008","bibbaseid":"0001-0003-dong-modelcheckingcsprevisitedintroducingaprocessanalysistoolkit-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88479-8_22"},"downloads":0},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.355Z","downloads":0,"keywords":[],"search_terms":["model","checking","csp","revisited","introducing","process","analysis","toolkit","0001","0003","dong"],"title":"Model Checking CSP Revisited: Introducing a Process Analysis Toolkit","year":2008,"dataSources":["ZtcgqYKBLHt2gfuHW"]}