BibTeX record conf/icde/Pu07

download as .bib file

@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},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics