Publication | Closed Access
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
36
Citations
28
References
2017
Year
Fuzzy LogicFuzzy SystemsLogical CharacterizationsEngineeringFuzzy ComputingFuzzy ModelingFuzzy MathematicsFormal MethodsSystems EngineeringFinite-state SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1