OSS-register: ITSTools

Beschrijving

A multi-formalism, multi-solution model-checker centered on the language GAL