Mihai Danes Member Status: Collaborator E-mail: fmse@info.uaic.ro Publications 2005 Specification of Coordinated Objects and Verification of Their Temporal Properties Gabriel Ciobanu and Mihai Danes and Dorel Lucanu SYNASC BIB
Specification of Coordinated Objects and Verification of Their Temporal Properties Gabriel Ciobanu and Mihai Danes and Dorel Lucanu SYNASC BIB
