author : Michael Leuschel

Short works

• Visualising larger state spaces in ProB. 2005. (In ZB 2005 )