{"_id":"qj3pqSfmgMFFcSJQL","bibbaseid":"pang-vandepol-espada-abstractionofparalleluniformprocesseswithdata-2004","authorIDs":[],"author_short":["Pang, J.","van de Pol, J.","Espada, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Pang"],"suffixes":[]},{"firstnames":["J."],"propositions":["van","de"],"lastnames":["Pol"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Espada"],"suffixes":[]}],"booktitle":"SEFM","organization":"IEEE","pages":"14-23","title":"Abstraction of Parallel Uniform Processes with Data","year":"2004","bibtex":"@inproceedings{PangPE04,\n\tAuthor = {J. Pang and J. van de Pol and M. Espada},\n\tBooktitle = {SEFM},\n\tOrganization = {IEEE},\n\tPages = {14-23},\n\tTitle = {{Abstraction of Parallel Uniform Processes with Data}},\n\tYear = {2004}}\n\n","author_short":["Pang, J.","van de Pol, J.","Espada, M."],"key":"PangPE04","id":"PangPE04","bibbaseid":"pang-vandepol-espada-abstractionofparalleluniformprocesseswithdata-2004","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.649Z","downloads":0,"keywords":[],"search_terms":["abstraction","parallel","uniform","processes","data","pang","van de pol","espada"],"title":"Abstraction of Parallel Uniform Processes with Data","year":2004,"dataSources":["7Z8XEkSJX2s636QcA"]}