![](/img/cover-not-exists.png)
[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Modeling and verifying BPEL using synchronized net
Xu, Chunxiang, Wang, Hanpin, Qu, WanlingYear:
2008
Language:
english
DOI:
10.1145/1363686.1364248
File:
PDF, 150 KB
english, 2008