ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Anca Muscholl

Not registered as user yet

Name:Anca Muscholl
Country:France
Affiliation:Université de Bordeaux / LaBRI
Research interests:Automata theory and logic, games, automated verification, partial order methods, Mazurkiewicz traces, message sequence charts, foundations of data bases.

Contributions

FOSSACS 2019 Committee Member in Program Committee within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile