home
>
book reviews
> David Julien
Google >
David Julien
author : David Julien
Short works
When concurrent control meets functional requirements, or Z + Petri-nets. 2003.
(In
ZB 2003
)