| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| ASB/ | - | 09-Mar-2024 20:52 |
| PERRAD/ | - | 21-Nov-2021 23:06 |
| STBEY/ | - | 21-Nov-2021 21:49 |
| DFA-Kleene-1.0.readme | 1221 | 06-Aug-1997 21:51 |
| DFA-Kleene-1.0.tar.gz | 5353 | 07-Aug-1997 06:09 |
| DFA-Simple-0.34.readme | 666 | 07-Nov-2018 17:18 |
| DFA-Simple-0.34.tar.gz | 20K | 07-Nov-2018 17:30 |
| DFA-Statemap-1.00.readme | 267 | 15-May-2008 16:38 |
| DFA-Statemap-1.00.tar.gz | 3228 | 24-May-2008 07:55 |
| DFA-Statemap-1.01.readme | 267 | 15-May-2008 16:38 |
| DFA-Statemap-1.01.tar.gz | 3577 | 04-Jun-2016 07:46 |