Report copyright - MULTIPROCESSADORES E..Q.!! DE foram introduzidas por Petri e desde então tem sido utilizadas satisfactoriamente na especificação e verificação formal de sistemas paralelos. No
Please pass captcha verification before submit form
Please pass captcha verification before submit form