Hets - the Heterogeneous Tool Set

CopyrightDFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Modal.ModalSystems

Description

 

Documentation