Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science
A general approach to comparing infinite-state systems with their finite-state specifications
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Hi-index | 0.00 |