Mihai Danes

According to our database, Mihai Danes authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Specification of Coordinated Objects and Verification of Their Temporal Properties.

Mihai Danes, Dorel Lucanu, Gabriel Ciobanu

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005