Notice de personne

  • Notice
Burkart, Olaf forme internationale

Pays :  Allemagne
Langue(s) :  allemand
Responsabilité(s) exercée(s) sur les documents :  Auteur

Écrit aussi en anglais.
En poste : Lehrstuhl Informatik V, Universität Dordmund, Allemagne (en 1997).


Source(s) : 
Automatic verification of sequential infinite-state processes / Olaf Burkart, cop. 1997
Internet, http://iltisdbf.dbf.ddb.de, 2000-09-26



Identifiant international :  ISNI 0000 0001 1669 122X , cf. http://isni.org/isni/000000011669122X
Notice n° :  FRBNF13598210

Création :  00/09/26

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (1)