![](/img/cover-not-exists.png)
[IEEE 2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation - Kota Kinabalu, Malaysia (2010.05.26-2010.05.28)] 2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation - Verification of Web Services Modeled as Finite State Machines
Chenthati, Deepak, Vaddi, Supriya, Mohanty, Hrushikesha, Damodaram, AvulaYear:
2010
Language:
english
DOI:
10.1109/ams.2010.107
File:
PDF, 331 KB
english, 2010