| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/s/YuliangShi +
, https://dblp.org/pid/50/6759-19 +
, https://dblp.org/pid/l/BingLiu9 +
, https://dblp.org/pid/44/6976 +
, https://dblp.org/pid/59/2703 +
, https://dblp.org/pid/s/BaileShi +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
| https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/s/YuliangShi +
, https://dblp.org/pid/50/6759-19 +
, https://dblp.org/pid/l/BingLiu9 +
, https://dblp.org/pid/44/6976 +
, https://dblp.org/pid/59/2703 +
, https://dblp.org/pid/s/BaileShi +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1109/CIT.2005.10 +
, https://doi.ieeecomputersociety.org/10.1109/CIT.2005.10 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1109/CIT.2005.10 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/IEEEcit/IEEEcit2005 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
6
|
| https://dblp.org/rdf/schema#pagination
|
252-256
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1109/CIT.2005.10 +
|
| https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/IEEEcit/2005 +
|
| https://dblp.org/rdf/schema#publishedIn
|
CIT
|
| https://dblp.org/rdf/schema#publishedInBook
|
CIT
|
| https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/conf/IEEEcit +
|
| https://dblp.org/rdf/schema#title
|
A Formal Specification for Web Services Composition and Verification.
|
| https://dblp.org/rdf/schema#yearOfEvent
|
2005
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2005
|
| owl:sameAs |
https://doi.org/10.1109/CIT.2005.10 +
, http://dx.doi.org/10.1109/CIT.2005.10 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
| rdfs:label |
Yuliang Shi et al.: A Formal Specification for Web Services Composition and Verification. (2005)
|
