author : David Julien

Short works

• When concurrent control meets functional requirements, or Z + Petri-nets. 2003. (In ZB 2003 )