Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 1993-06-01 02:00 | 1.8K | ||
SUIT_bin_sparc.tar.Z | 1993-05-19 02:00 | 300K | ||
auto.txt | 1993-06-01 02:00 | 17K | ||
automata.tar.Z | 1993-06-05 02:00 | 569K | ||
graph.c | 1993-09-10 02:00 | 28K | ||
graph.txt | 1993-06-03 02:00 | 1.5K | ||
petri.Z | 1993-05-19 02:00 | 44K | ||
petri.tar.Z | 1993-05-19 02:00 | 60K | ||
petri.txt | 1993-05-18 02:00 | 6.5K | ||