Sciweavers

CALCO
2007
Springer

Deriving Bisimulation Congruences with Borrowed Contexts

14 years 6 months ago
Deriving Bisimulation Congruences with Borrowed Contexts
Barbara König
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CALCO
Authors Barbara König
Comments (0)