|
Anca Muscholl | |
Mail: ![]() Phone: +33 (5) 40 00 35 21 Fax: +33 (5) 40 00 66 69 Mailing address: LaBRI, Université Bordeaux 1, 351 cours de la Libération, F-33405 Talence cedex |
||
automata and logic, verification, partial order methods,
message sequence charts, automata and complexity, parallel complexity