13:1013:10, 18 January 2010diffhist+11,120 N
Graphical Visualization
Created page with 'The graphical visualisation of ProB enables to easily write custom graphical state representations in order to provide a better understanding of a model. With this method, one as…'