home
>
book reviews
> J. Christian Attiogbe
Google >
J. Christian Attiogbe
author : J. Christian Attiogbe
Short works
A stepwise development of the Peterson's mutual exclusion algorithm using B Abstract Systems. 2005.
(In
ZB 2005
)