ETAPS 2019 (series) / Anca Muscholl
Not registered as user yet
Name:Anca Muscholl
Country:France
Affiliation:Université de Bordeaux / LaBRI
Personal website: http://www.labri.fr/perso/anca/
Research interests:Automata theory and logic, games, automated verification, partial order methods, Mazurkiewicz traces, message sequence charts, foundations of data bases.
Contributions
ETAPS 2019-profile
View general profile
View general profile