Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / doc / automata_spec.org @ 58d610e1

History | View | Annotate | Download (12 KB)

# Date Author Comment
fce0c270 01/10/2017 01:33 PM Pierre-Loïc Garoche

automata_spec

6eb92970 11/09/2016 07:11 AM Pierre-Loïc Garoche

explaining our automaton