VIAF

Virtual International Authority File

Search

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

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
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings NUKAT Center of Warsaw University Library 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
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)