Emailfmse@info.uaic.roStatusCollaboratorPublications2005Specification of Coordinated Objects and Verification of Their Temporal PropertiesMihai Danes, Gabriel Ciobanu, Dorel Lucanu Conference