This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html.
Installed Size: 628.7 kB Architectures: all