placeholder image

Kondratyeva, Olga

Person

Positions

, Centre National de la Recherche Scientifique

selected publications

academic article
- Parallel composition of nondeterministic Finite State Machines with Timeouts. . 2014

full name

Olga Kondratyeva

Publications in VIVO

Co-author Network