Olaf Burkart

Country : Allemagne
Language : allemand
Note :
Écrit aussi en anglais
En poste : Lehrstuhl Informatik V, Universität Dordmund, Allemagne (en 1997)
ISNI : ISNI 0000 0001 1669 122X

Activities of Olaf Burkart (1 resources in data.bnf.fr)

Mixed works (1)

Automatic verification of sequential infinite-state processes

See also