R. Müller, C. Stahl, {. Aalst, and M. Westergaard. International Conference on Service-Oriented Computing (ICSOC 2013), volume 8274 of Lecture Notes in Computer Science, page 358--373. Springer-Verlag, Berlin, (2013)
{. Aalst, C. Stahl, and W. Westergaard. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII), volume 7480 of Lecture Notes in Computer Science, page 6--55. Springer-Verlag, Berlin, (2013)
S. Hinz, K. Schmidt, and C. Stahl. International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, page 220--235. Springer-Verlag, Berlin, (2005)
{. Aalst, A. Mooij, C. Stahl, and K. Wolf. Formal Methods for Web Services, volume 5569 of Lecture Notes in Computer Science, page 42--88. Springer-Verlag, Berlin, (2009)
{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Informal Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), page 119--134. QUT, Brisbane, Australia, (2007)