Home Advanced Search

Advanced Search - Page 1

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Christel Baier, Verena Wolf (auth.), Paolo Ciancarini, Herbert Wiklicky (eds.)
Coordinatio Languages and Models: Third International Conference COORDINATION’99 Amsterdam, The Netherlands, April 26–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Rocco De Nicola (auth.), Paolo Ciancarini, Alexander L. Wolf (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Coordination Languages and Models: First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Jean-Pierre Banâtre (auth.), Paolo Ciancarini, Chris Hankin (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Christel Baier, Cesare Tinelli (eds.)
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
  • PDF
  • English
  • Year: 1999
  • Author: Oscar Nierstrasz (auth.), Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri (eds.)
CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.)
search