skip the navigation
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.
Tags: Software Development: Documentation, Testing and QA, Field: Mathematics, Made Of: made-of::data:html, made-of::data:info, Role: Documentation