Minimal model generation
Lecture notes in computer science2005pp. 197–203
Citations Over TimeTop 10% of 2005 papers
Related Papers
- → Enhancements of the bisimulation proof method(2011)77 cited
- → Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach(2017)7 cited
- → Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System(2013)3 cited
- → Bisimulation for Higher-Order Process Calculi(1996)17 cited
- → A Spatial Logical Characterisation of Context Bisimulation(2007)3 cited