Skip to content
Sections
>> Trisquel >> Balíky >> etiona >> doc >> maria-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Zdroj: maria  ]

Balík: maria-doc (1.3.5-4.1)

documentation of Maria

This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html.

Ostatné balíky súvisiace s balíkom maria-doc

  • závisí
  • odporúča
  • navrhuje

Stiahnuť maria-doc

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 128.8 kB615 kB [zoznam súborov]