Formal verification in Web services composition
Valeriu Todica, Mircea-Florin Vaida, Marcel Cremene
Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics. IEEE (2012, May) .
2012IEEE
Full text: http://dx.doi.org/10.1109/AQTR.2012.6237702
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment