Orna Grumberg's Documents

Orna Grumberg's Documents

Computer Aided Verification, 9 conf., CAV '97

Computer Aided Verification, 9 conf., CAV '97
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007

Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007
Read more
25 Years of Model Checking

25 Years of Model Checking
Read more
Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness
Read more
Model checking

Model checking
Read more
Knowledge and Demonstration: Aristotle's Posterior Analytics (The New Synthese Historical Library)

Knowledge and Demonstration: Aristotle's Posterior Analytics (The New Synthese Historical Library)
Read more
Between memory and history: the evolution of Israeli historiography of the Holocaust, 1945-1961

Between memory and history: the evolution of Israeli historiography of the Holocaust, 1945-1961
Read more
Model Checking

Model Checking
Read more
Britain, Israel and the United States, 1955-1958: Beyond Suez (Cass Series--British Foreign and Colonial Policy)

Britain, Israel and the United States, 1955-1958: Beyond Suez (Cass Series--British Foreign and Colonial Policy)
Read more
Model checking

Model checking
Read more
Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday

Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday
Read more
Contributions to Tibetan Buddhist Literature - PIATS 2006

Contributions to Tibetan Buddhist Literature - PIATS 2006
Read more
Archaeology: Discovering the Past

Archaeology: Discovering the Past
Read more