VIAF

Virtual International Authority File

Search

Grumberg, Orna. Library of Congress/NACO Sudoc [ABES], France National and University Library in Zagreb National Library of France NUKAT Center of Warsaw University Library

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

Grumberg, Orna, 1952- National Library of the Czech Republic

Grumberg, O. ISNI

Orna Grumberg Wikidata

VIAF ID: 85195028 (Personal)

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

ISNI: 0000  0001  0995  4730 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Abstract interpretation of reactive systems : preservation of CTL National Library of the Netherlands
Computer Aided Verification 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library
Formal logical methods for system security and correctness Library of Congress/NACO National Library of the Czech Republic
Languages From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Sudoc [ABES], France
Logics and languages for reliability and security Sudoc [ABES], France National Library of the Czech Republic
Model checking Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands National Library of France NUKAT Center of Warsaw University Library
Software Systems Safety National Library of the Czech Republic Library of Congress/NACO Sudoc [ABES], France National and University Library in Zagreb National Library of France
TACAS 2007 National Library of the Netherlands
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 Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands

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 (8)

Open Section Close Section About

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