Barbosa,, L. S.
Sobre a especificação matemática de sistemas concorrentes / Luís Manuel Dias Coelho Soares Barbosa
Sobre a especificação matemática de sistemas concorrentes / Luís Manuel Dias Coelho Soares Barbosa
. - Braga : L.M.D.C.S.B., 1992
. - 214 f. 30 cm
681.3