Service Description and Analysis From a Type Theoretic Approach. Pu, K. Q. In ICDE Workshops, pages 379-386, 2007. ![Service Description and Analysis From a Type Theoretic Approach [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link bibtex @inproceedings{ DBLP:conf/icde/Pu07,
author = {Ken Q. Pu},
title = {Service Description and Analysis From a Type Theoretic Approach},
booktitle = {ICDE Workshops},
pages = {379-386},
ee = {http://dx.doi.org/10.1109/ICDEW.2007.4401019} ,
year = {2007}
}
Downloads: 0
{"_id":{"_str":"51f7424559ced8df440016b7"},"__v":20,"authorIDs":["545745772abc8e9f37000244"],"author_short":["Pu, K. Q."],"bibbaseid":"pu-servicedescriptionandanalysisfromatypetheoreticapproach-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ken","Q."],"propositions":[],"lastnames":["Pu"],"suffixes":[]}],"title":"Service Description and Analysis From a Type Theoretic Approach","booktitle":"ICDE Workshops","pages":"379-386","ee":"http://dx.doi.org/10.1109/ICDEW.2007.4401019","year":"2007","bibtex":"@inproceedings{ DBLP:conf/icde/Pu07,\n author = {Ken Q. Pu},\n title = {Service Description and Analysis From a Type Theoretic Approach},\n booktitle = {ICDE Workshops},\n pages = {379-386},\n ee = {http://dx.doi.org/10.1109/ICDEW.2007.4401019} ,\n year = {2007}\n}\n\n\n","author_short":["Pu, K. Q."],"key":"DBLP:conf/icde/Pu07","id":"DBLP:conf/icde/Pu07","bibbaseid":"pu-servicedescriptionandanalysisfromatypetheoreticapproach-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/ICDEW.2007.4401019"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/ken-q-pu/?format=bibtex","downloads":0,"keywords":[],"search_terms":["service","description","analysis","type","theoretic","approach","pu"],"title":"Service Description and Analysis From a Type Theoretic Approach","title_words":["service","description","analysis","type","theoretic","approach"],"year":2007,"dataSources":["EeFicwT7KarYHcuQn"]}