Showing 1 - 5 results of 5 for search 'Grumberg, Orna', query time: 0.03s Refine Results
  1. 1
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Published 1997
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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 /
    Published 2007
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Model checking /
    Other Authors: “…Grumberg, Orna…”
    Book
  5. 5
    Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
    Published 2009
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search