Prof. Dr. Ahmed Bouajjani

Aktuelle Kontaktadresse

Land	Frankreich
Ort	Paris Cedex 13
Universität/Institution	Universite Paris Cite
Institut/Abteilung	Institut de Recherche en Informatique Fondamental (IRIF)

Fachgebiet	Theoretische Informatik
Keywords	Infinite-state systems, Formal verification, Model checking, Automata theory, Concurrent program verification