| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| ASB/ | - | 2026-Mar-18 00:00 | |
| PERRAD/ | - | 2025-Nov-02 07:56 | |
| STBEY/ | - | 2021-Nov-22 06:49 | |
| DFA-Kleene-1.0.readme | 1221 | 1997-Aug-07 06:51 | |
| DFA-Kleene-1.0.tar.gz | 5353 | 1997-Aug-07 15:09 | |
| DFA-Simple-0.34.readme | 666 | 2018-Nov-08 02:18 | |
| DFA-Simple-0.34.tar.gz | 20704 | 2018-Nov-08 02:30 | |
| DFA-Statemap-1.00.readme | 267 | 2008-May-16 01:38 | |
| DFA-Statemap-1.00.tar.gz | 3228 | 2008-May-24 16:55 | |
| DFA-Statemap-1.01.readme | 267 | 2008-May-16 01:38 | |
| DFA-Statemap-1.01.tar.gz | 3577 | 2016-Jun-04 16:46 | |