Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Distributed Systems. Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Juergen Dingel (auth.), Sudipto Ghosh (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Juergen Dingel (auth.), Sudipto Ghosh (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Brian Elvesæter (auth.), Juergen Dingel, Arnor Solberg (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Brian Elvesæter (auth.), Juergen Dingel, Arnor Solberg (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.)
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Christos Kaklamanis (auth.), Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)
search