6 May 2009 AT4WS Workshop at ICEIS, Milan, Italy
Charles Petrie
petrie@stanford.edu
Stanford Logic Group
this talk is at:
http://www-cdr.stanford.edu/~petrie/talks/AT4WS09
The paper is at
http://www-cdr.stanford.edu/~petrie/papers/ICIS09-serviceplanning.pdf
tar archive