Skip to content

FSM4WSR: A Formal Model for Verifiable Web Service Runtime.

Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang

VenueCAPSCC
Year2011
ProceedingsAPSCC

Browse the full APSCC paper archive.