Notice de personne
- Notice
000 nx a22 45
001 FRBNF135982107
010 .. $a 000000011669122X $2 VIAF $d 20130731
039 .. $o OPL $a 015144558
100 .. $a 20000926afrey50 ba0
101 .. $a ger
102 .. $a DE
105 .. $a a
106 .. $a 1
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Burkart $b Olaf
300 0. $a Écrit aussi en anglais
300 0. $a En poste : Lehrstuhl Informatik V, Universität Dordmund, Allemagne (en 1997)
801 .. $a FR $b FR-751131015 $c 20000926
810 .. $a Automatic verification of sequential infinite-state processes / Olaf Burkart, cop.
1997
