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

FOSSACS 2019 Committee Member in Program Committee within the FOSSACS 2019-track
VMCAI 2017 Author of Reachability for dynamic parametric processes within the VMCAI-track