Specification of Coordinated Objects and Verification of Their Temporal Properties.

Mihai Danes, Dorel Lucanu, Gabriel Ciobanu

Browse the full SYNASC paper archive.