| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| LNCS454.dvi | 1992-Feb-10 09:16:20 | 661.4K | application/x-dvi |
| det_trace_automata.dvi.Z | 1992-Nov-10 14:13:08 | 62.6K | application/octet-stream |
| traces.bbl | 1994-Jan-24 16:00:47 | 91.1K | application/octet-stream |
| traces.bib | 1994-Jun-01 12:40:21 | 137.5K | text/x-bibtex;charset=utf-8 |