VIAF

Virtual International Authority File

Search

Steffen, Bernhard National Library of the Netherlands-test DBC (Danish Bibliographic Center) Sudoc [ABES], France Library of Congress/NACO

Steffen, B. ISNI-test

Steffen, Bernhard, 1958- National Library of the Czech Republic German National Library

VIAF ID: 57063007 (Personal)

Permalink: http://viaf.org/viaf/57063007

ISNI-test: 0000  0001  2134  5014 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Correct system design : recent insights and advances National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Leveraging applications of formal methods, verification and validation technologies for mastering change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings National Library of the Netherlands-test
Messung transienter magnetfelder und der wirbelstrom-zeitkonstanten des textor xR Extended Titles-test
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : 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 (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:57063007 (15)