information about Stuttering equivalence field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Branching bisimulation 0 papers | Kripke structure 695 papers | ||
| Current | |||
Stuttering equivalence papers | |||
| Child | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Branching bisimulation 0 papers | Kripke structure 695 papers | ||
| Current | |||
Stuttering equivalence papers | |||
| Child | |||