home
>
book reviews
> Michael Leuschel
Google >
Michael Leuschel
author : Michael Leuschel
Short works
Visualising larger state spaces in ProB. 2005.
(In
ZB 2005
)