{"_id":{"_str":"51fb3539c5b22c3876000cd9"},"__v":5,"authorIDs":["545ac19cb43425b772001121"],"author_short":["Yu, M."],"bibbaseid":"yu-translationoferlangprogramsformodelchecking-2008","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","author":[{"firstnames":["Miao"],"propositions":[],"lastnames":["Yu"],"suffixes":[]}],"title":"Translation of Erlang Programs for Model Checking","school":"Facultad de Informática, Universidad Politécnica de Madrid","note":"Advisor: Lars-Ake Fredlund, Calificación: Sobresaliente cum laude","year":"2008","bibtex":"@mastersthesis{ yu-mt,\n author = {Miao Yu},\n title = {Translation of Erlang Programs for Model Checking},\n school = {Facultad de Informática, Universidad Politécnica de Madrid},\n note = {Advisor: Lars-Ake Fredlund, Calificación: Sobresaliente cum laude} ,\n year = {2008}\n}\n\n\n","author_short":["Yu, M."],"key":"yu-mt","id":"yu-mt","bibbaseid":"yu-translationoferlangprogramsformodelchecking-2008","role":"author","urls":{},"downloads":0},"bibtype":"mastersthesis","biburl":"http://data.bibbase.org/provenance/httpbabellsfiupmesangelpublicationsbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["translation","erlang","programs","model","checking","yu"],"title":"Translation of Erlang Programs for Model Checking","title_words":["translation","erlang","programs","model","checking"],"year":2008,"dataSources":["EuJsgsLE4BnnkifQw"]}