Michael Goessel

• New methods of concurrent checking
• Automatentheorie Fuer Ingenieure (Informatik)