OSS-register: ITSTools

Details van repository: ITSTools

Nederlandse organisatie voor toegepast-natuurwetenschappelijk onderzoek

Beschrijving

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