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.)
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.)
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (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.)
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.)
Enterprise and Organizational Modeling and Simulation: 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Wil M. P. van der Aalst (auth.), Joseph Barjis (eds.)
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Wil M. P. van der Aalst (auth.), Javier Esparza, Charles Lakos (eds.)
search