Home Advanced Search

Advanced Search - Page 1

Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)
Business Information Systems Workshops: BIS 2009 International Workshops, Poznan, Poland, April 27-29, 2009. Revised Papers
  • PDF
  • English
  • Year: 2009
  • Author: W. M. P. van der Aalst (auth.), Witold Abramowicz, Dominik Flejter (eds.)
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems
  • PDF
  • English
  • Year: 2009
  • Author: Wil M. P. van der Aalst (auth.), Kurt Jensen, Wil M. P. van der Aalst (eds.)
search