Home Advanced Search

Advanced Search - Page 1

Beyond photography : the digital darkroom
  • PDF
  • English
  • Year: 1988
  • Author: Holzmann, Gerard J.
The spin model checker : primer and reference manual
  • GZ
  • English
  • Year: 2004
  • Author: Gerard J Holzmann
Design and validation of computer protocols
  • DJVU
  • English
  • Year: 1991
  • Author: Gerard J Holzmann; American Telephone and Telegraph Company
Design and validation of computer protocols
  • GZ
  • English
  • Year: 1990
  • Author: Gerard J Holzmann; American Telephone and Telegraph Company
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
search