Université Paris Est - Marne-la-Vallée


REGAL : Random and Exhaustive Generators for Automata - Library