Sciweavers

CALCO
2007
Springer

Bisimulation for Neighbourhood Structures

14 years 6 months ago
Bisimulation for Neighbourhood Structures
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CALCO
Authors Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Comments (0)