PP-2007-30: Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Bisimulation for Neighbourhood Structuress 1.Full Text, 2.Abstract. < Back
