Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)
Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Orna Grumberg, Michael Huth (eds.)
Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: F. Erich Marschner (auth.), Orna Grumberg (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Jeff Kramer, Jeff Magee (auth.), W. Rance Cleaveland (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • DJVU
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.)
Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems
  • PDF
  • German
  • Year: 2004
  • Author: Michael Huth (auth.)
25 Years of Model Checking History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Grumberg, Orna.;Veith, Helmut
Formal Logical Methods for System Security and Correctness
  • PDF
  • English
  • Year: 2008
  • Author: Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
search