{"_id":"zEortudv2LxNJnnaR","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["Sun, J.","Liu, Y.","Dong, J.<nbsp>S."],"bibbaseid":"sun-liu-dong-modelcheckingcsprevisitedintroducingaprocessanalysistoolkit-2008","bibdata":{"author":["Sun, Jun","Liu, Yang","Dong, Jin Song"],"author_short":["Sun, J.","Liu, Y.","Dong, J.<nbsp>S."],"bibtex":"@inproceedings{ dblp2921125,\n title = {Model Checking CSP Revisited: Introducing a Process Analysis Toolkit},\n author = {Jun Sun and Yang Liu and Jin Song Dong},\n author_short = {Sun, J. and Liu, Y. and Song Dong, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp2921125},\n id = {dblp2921125},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/ISoLA08.pdf},\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","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/ISoLA08.pdf","year":"2008","bibbaseid":"sun-liu-dong-modelcheckingcsprevisitedintroducingaprocessanalysistoolkit-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88479-8_22"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/ISoLA08.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:01.025Z","downloads":0,"keywords":[],"search_terms":["model","checking","csp","revisited","introducing","process","analysis","toolkit","sun","liu","dong"],"title":"Model Checking CSP Revisited: Introducing a Process Analysis Toolkit","year":2008,"dataSources":["mpMYjTrc4gjXaNRQh"]}