sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000109954730 | 1 hits
Person
ISNI: 
0000 0001 0995 4730
Name: 
Griymberg, ʾOrnah
Griymberg, ʾWrnah
Grumberg, O.
Grumberg, Orna
Grwmberg, ʾOrnah
Grwmberg, ʾWrnah
Orna Grumberg
גרומברג, אורנה
גרומברג, ארנה
גרימברג, אורנה
גרימברג, ארנה
Dates: 
1952-
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Clarke, Edmund (co-author)
Clarke, Edmund M.
ebrary, Inc
Gerth, R. (1956-)
Gerth, Rob Tristan (1956-)
Heidl, Helmut (informaticien; co-author)
Huth, Michael (1962-)
Huth, Michael (co-author)
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Nipkow, Tobias (1958-)
Peled, Doron (1962- ))
Peled, Doron A. (1962-)
Pfaller, Christian
Seidl, Helmut
Seidl, informaticien
Veith, Helmut
Veith, Helmut (co-author)
Wintner, Shuly (co-author)
Titles: 
25 years of model checking history, achievements, perspectives
Abstract interpretation of reactive systems : preservation of CTL
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
Formal logical methods for system security and correctness
Languages From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Logics and languages for reliability and security
Model checking
Software systems safety
TACAS 2007
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
Notes: 
Sources: 
VIAF LC NKC NSK NUKAT SUDOC WKD
BOWKER
NTA