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