ASPARTIX-D
Aus International Center for Computational Logic
ASPARTIX-D
Welcome to the system page of ASPARTIX-D. This page contains information on the system, provide downloads for recent contributions and gives an overview of publications regarding the system ASPARTIX-D.
About
People
Download
ICCMA 2015 submission: aspartix_d.tar.gz
ICCMA 2015 benchmark-suite: benchmarks-tests_iccma2015.zip
