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).
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
Automatic verification of sequential infinite-state processes / Olaf Burkart, cop. 1997
Internet, http://iltisdbf.dbf.ddb.de, 2000-09-26
Notice n° :
FRBNF13598210
Création :
00/09/26
