Grumberg, Orna.
Grumberg, O. (Orna)
VIAF ID: 85195028 (Personal)
Permalink: http://viaf.org/viaf/85195028
Preferred Forms
-
100 1 0 ‡a Grumberg, Orna
-
100 1 _ ‡a Grumberg, Orna (undifferentiated)
-
200 _ | ‡a Grumberg ‡b Orna
-
100 1 _ ‡a Grumberg, Orna
-
100 1 _ ‡a Grumberg, O. ‡q (Orna)
-
100 1 _ ‡a Grumberg, Orna.
4xx's: Alternate Name Forms (9)
Selected Titles
- Model checking
(3)
- Computer aided verification, 1997:
(3)
- Twenty five years of model checking
(2)
- 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
(2)
- Tools and algorithms for the construction and analysis of systems
(2)
- Formal logical methods for system security and correctness
(2)
- Computer aided verification : 9th International conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings
(2)
- Abstract interpretation of reactive systems : preservation of CTL*
(2)
- 25 years of model checking history, achievements, perspectives
(2)
- TACAS 2007
(1)
