K. Mokhtari, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid, Frank Leymann. Verification of Privacy Timed Properties in Web Service Protocols. In 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA. pages 593-594, IEEE Computer Society, 2008. [doi]
Abstract is missing.