Packages
dk.brics.bisim  
dk.brics.bisim.controller  
dk.brics.bisim.equiv  
dk.brics.bisim.model  
dk.brics.bisim.view