Kseniia Troino

According to our database, Kseniia Troino authored at least 1 paper in 2016.

Collaborative distances:

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

2016

A Complete Axiomatization for Reduced Clock Constraint Specification Language.

Bogdan Chornomaz, Kirill Rukkas, Kseniia Troino

Proceedings of the 12th International Conference on ICT in Education, 2016