Sylvain Hallé. Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 95-104, IEEE Computer Society, 2011. [doi]
@inproceedings{Halle11,
title = {Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications},
author = {Sylvain Hallé},
year = {2011},
doi = {10.1109/ICECCS.2011.17},
url = {http://dx.doi.org/10.1109/ICECCS.2011.17},
tags = {rule-based, web service, web services, logic},
researchr = {https://researchr.org/publication/Halle11},
cites = {0},
citedby = {0},
pages = {95-104},
booktitle = {16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
editor = {Isabelle Perseil and Karin Breitman and Roy Sterritt},
publisher = {IEEE Computer Society},
}