A state space generation tool for LOTOS specifications: Licenciate thesis

Reijo Savola

    Research output: ThesisLicenciate

    4 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'A state space generation tool for LOTOS specifications: Licenciate thesis'. Together they form a unique fingerprint.

    Computer Science

    Engineering

    Mathematics