VIAF

Virtual International Authority File

Search

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

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

Grumberg, O. ISNI

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 NUKAT Center of Warsaw University Library National Library of the Netherlands 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
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 National Library of the Netherlands 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 xR Extended Titles National Library of the Czech Republic Library of Congress/NACO
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 National Library of the Netherlands 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)