Cited By
View all- Cambronero MPardo JDíaz GValero V(2006)Timed automata for web services verificationProceedings of the 6th WSEAS international conference on Applied computer science10.5555/1973812.1973921(531-536)Online publication date: 16-Dec-2006
- Diaz GPardo JCambronero MValero VCuartero F(2006)Verification of Web Services with Timed AutomataElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.12.042157:2(19-34)Online publication date: 1-May-2006
- Diaz GPardo JCambronero MValero VCuartero F(2005)Automatic translation of WS-CDL choreographies to timed automataProceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes10.1007/11549970_17(230-242)Online publication date: 1-Sep-2005