Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)
ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Martín Abadi (auth.), Luca Cardelli (eds.)
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (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.)
Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Martín Abadi, Steve Kremer (eds.)
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Martín Abadi, Alberto Lluch Lafuente (eds.)
Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni (auth.), Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.)
search