Not registered as user yet
Name: Anca Muscholl
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.
|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|