VIAF

Virtual International Authority File

Search

Grumberg, Orna. National Library of the Czech Republic Library of Congress/NACO German National Library ISNI-test NUKAT Center of Warsaw University Library National Library of France

Grumberg, O. (Orna) National Library of the Netherlands-test

VIAF ID: 85195028 (Personal)

Permalink: http://viaf.org/viaf/85195028

ISNI-test: 0000  0001  0995  4730 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (9)

Open Section Close Section Selected Titles

  1. Model checking ‎(4) NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France
  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) National Library of the Netherlands-test Library of Congress/NACO
  3. Formal logical methods for system security and correctness ‎(2) National Library of the Czech Republic Library of Congress/NACO
  4. Computer aided verification : 9th International conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings ‎(2) National Library of the Netherlands-test
  5. Computer aided verification ‎(2) NUKAT Center of Warsaw University Library Library of Congress/NACO
  6. Abstract interpretation of reactive systems : preservation of CTL ‎(2) National Library of the Netherlands-test
  7. TACAS 2007 ‎(1) National Library of the Netherlands-test
  8. Software safety and security tools for analysis and verification ‎(1) National Library of the Czech Republic
  9. Logics and languages for reliability and security ‎(1) National Library of the Czech Republic
  10. Joint European Conferences on Theory and Practice of Software ‎(1) Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section About

Open Section Close Section History of VIAF ID:85195028 (9)