VIAF

Virtual International Authority File

Search

Grumberg, Orna. NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Czech Republic National Library of France Library of Congress/NACO

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

Grumberg, O. ISNI-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 (16)

Open Section Close SectionWorks

Title Sources
Abstract interpretation of reactive systems : preservation of CTL* National Library of the Netherlands-test
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Formal logical methods for system security and correctness National Library of the Czech Republic Library of Congress/NACO
Logics and languages for reliability and security National Library of the Czech Republic Sudoc [ABES], France
Model checking National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Software safety and security : tools for analysis and verification National Library of the Czech Republic Library of Congress/NACO
TACAS 2007 National Library of the Netherlands-test
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 National Library of the Netherlands-test Sudoc [ABES], France 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 (8)

Open Section Close Section About

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