Publication | Open Access
Conformance checking based on multi-perspective declarative process models
163
Citations
36
References
2016
Year
EngineeringProgram AnalysisAutomated ReasoningVerificationFormal MethodsProcess ControlSystems EngineeringSoftware AnalysisConformance CheckingComputer ScienceModel CheckingModel VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1