Publication | Closed Access

Structuredness and its significance for correctness of process models

EngineeringFormal ModelingAutomated ReasoningDesignVerificationFormal MethodsProcess SpecificationSystems EngineeringProcess ModelsProcess ModellingFormal VerificationSoftware Design