Meta data
- BibTeX key
- conf/apscc/LiMZLY11
- entry type
- inproceedings
- booktitle
- APSCC
- year
- 2011
- pages
- 86-93
- publisher
- IEEE Computer Society
- crossref
- conf/apscc/2011
- ee
- http://doi.ieeecomputersociety.org/10.1109/APSCC.2011.16
- isbn
- 978-1-4673-0206-7
- url
- http://dblp.uni-trier.de/db/conf/apscc/apscc2011.html#LiMZLY11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/apscc/LiMZLY11
%A Li, Zhuqing
%A Ma, Dianfu
%A Zhao, Yongwang
%A Li, Jing
%A Yang, Qing
%B APSCC
%D 2011
%E Park, James J.
%E Nikolaou, Christos
%E Cao, Jiannong
%I IEEE Computer Society
%K
%P 86-93
%T FSM4WSR: A Formal Model for Verifiable Web Service Runtime.
%U http://dblp.uni-trier.de/db/conf/apscc/apscc2011.html#LiMZLY11
%@ 978-1-4673-0206-7
@inproceedings{conf/apscc/LiMZLY11,
added-at = {2023-12-12T22:27:19.000+0100},
author = {Li, Zhuqing and Ma, Dianfu and Zhao, Yongwang and Li, Jing and Yang, Qing},
biburl = {https://www.bibsonomy.org/bibtex/27dd6b5c6dee6a8d565d5fdb38e2e2316/admin},
booktitle = {APSCC},
crossref = {conf/apscc/2011},
editor = {Park, James J. and Nikolaou, Christos and Cao, Jiannong},
ee = {http://doi.ieeecomputersociety.org/10.1109/APSCC.2011.16},
interhash = {4a6eec5ee4764db386e433137da1de83},
intrahash = {7dd6b5c6dee6a8d565d5fdb38e2e2316},
isbn = {978-1-4673-0206-7},
keywords = {},
pages = {86-93},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T22:27:19.000+0100},
title = {FSM4WSR: A Formal Model for Verifiable Web Service Runtime.},
url = {http://dblp.uni-trier.de/db/conf/apscc/apscc2011.html#LiMZLY11},
year = 2011
}