dk.brics.bisimulationGame
Classes 
BisimulationGame
JarResources