Download Source Package maria:
This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html.
|
|
|
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 149.4 kB | 688 kB | [list of files] |