Towards automatic verification of Erlang programs by pi-calculus translation. Roy, C. K., Noll, T., Roy, B., & Cordy, J. R. In Feeley, M. & Trinder, P. W., editors, Erlang Workshop, pages 38-50, 2006. ACM. Link Paper bibtex @inproceedings{conf/erlang/RoyNRC06,
author = {Roy, Chanchal Kumar and Noll, Thomas and Roy, Banani and Cordy, James R.},
booktitle = {Erlang Workshop},
crossref = {conf/erlang/2006},
date = {2008-04-02},
editor = {Feeley, Marc and Trinder, Philip W.},
ee = {http://doi.acm.org/10.1145/1159789.1159798},
interhash = {244b604937af793f099dfa7c96225c14},
intrahash = {8c7d611aeab1e168067c5c624170c152},
isbn = {1-59593-490-1},
pages = {38-50},
publisher = {ACM},
title = {Towards automatic verification of Erlang programs by pi-calculus translation.},
url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2006.html#RoyNRC06},
year = 2006
}
Downloads: 0
{"_id":"GCRcmbq7ofcCPwhZp","bibbaseid":"roy-noll-roy-cordy-towardsautomaticverificationoferlangprogramsbypicalculustranslation-2006","downloads":0,"creationDate":"2017-10-15T15:21:08.851Z","title":"Towards automatic verification of Erlang programs by pi-calculus translation.","author_short":["Roy, C. K.","Noll, T.","Roy, B.","Cordy, J. R."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/james cordy?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Roy"],"firstnames":["Chanchal","Kumar"],"suffixes":[]},{"propositions":[],"lastnames":["Noll"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Roy"],"firstnames":["Banani"],"suffixes":[]},{"propositions":[],"lastnames":["Cordy"],"firstnames":["James","R."],"suffixes":[]}],"booktitle":"Erlang Workshop","crossref":"conf/erlang/2006","date":"2008-04-02","editor":[{"propositions":[],"lastnames":["Feeley"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Trinder"],"firstnames":["Philip","W."],"suffixes":[]}],"ee":"http://doi.acm.org/10.1145/1159789.1159798","interhash":"244b604937af793f099dfa7c96225c14","intrahash":"8c7d611aeab1e168067c5c624170c152","isbn":"1-59593-490-1","pages":"38-50","publisher":"ACM","title":"Towards automatic verification of Erlang programs by pi-calculus translation.","url":"http://dblp.uni-trier.de/db/conf/erlang/erlang2006.html#RoyNRC06","year":"2006","bibtex":"@inproceedings{conf/erlang/RoyNRC06,\n author = {Roy, Chanchal Kumar and Noll, Thomas and Roy, Banani and Cordy, James R.},\n booktitle = {Erlang Workshop},\n crossref = {conf/erlang/2006},\n date = {2008-04-02},\n editor = {Feeley, Marc and Trinder, Philip W.},\n ee = {http://doi.acm.org/10.1145/1159789.1159798},\n interhash = {244b604937af793f099dfa7c96225c14},\n intrahash = {8c7d611aeab1e168067c5c624170c152},\n isbn = {1-59593-490-1},\n pages = {38-50},\n publisher = {ACM},\n title = {Towards automatic verification of Erlang programs by pi-calculus translation.},\n url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2006.html#RoyNRC06},\n year = 2006\n}\n\n","author_short":["Roy, C. K.","Noll, T.","Roy, B.","Cordy, J. R."],"editor_short":["Feeley, M.","Trinder, P. W."],"key":"conf/erlang/RoyNRC06","id":"conf/erlang/RoyNRC06","bibbaseid":"roy-noll-roy-cordy-towardsautomaticverificationoferlangprogramsbypicalculustranslation-2006","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/1159789.1159798","Paper":"http://dblp.uni-trier.de/db/conf/erlang/erlang2006.html#RoyNRC06"},"downloads":0},"search_terms":["towards","automatic","verification","erlang","programs","calculus","translation","roy","noll","roy","cordy"],"keywords":[],"authorIDs":[],"dataSources":["JHozo5KzkRHrh6ajp"]}