Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Peiya Liu, Ken Hampel, Arding Hsu. Towards Automating the Creation of Hypermedia Service Manuals by Compiling Specifications. In ICMCS. pages 203-212, 1994.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao ModelQingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao. service 2010: 49-54 [doi]
The following publications are possibly variants of this publication: