Qualitative Action Systems.

Bernhard K. Aichernig, Harald Brandl, Willibald Krenn

Browse the full ICFEM paper archive.