Ondokuz / maria

reachability analyzer for Algebraic System Nets

•     Debian Science Maintainers
•     debian-science-maintainers@lists.alioth.debian.org
•     http://www.tcs.hut.fi/Software/maria/
•     1.3.5-4.1+b1
•     maria_1.3.5-4.1+b1_amd64.deb
•     416.1 KiB
•     math
•     amd64
•      maria_1.3.5-4.1.debian.tar.xz
            maria_1.3.5-4.1.dsc
            maria_1.3.5.orig.tar.gz
•     Debian Versiyonu: 1.3.5-4.1+b1
•     reachability analyzer for Algebraic System Nets

Diğer Pardus sürümlerindeki versiyonlar