D. A. Chkliaev

According to our database, D. A. Chkliaev authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Deductive verification of the Sliding Window Protocol.

D. A. Chkliaev, Valery A. Nepomniaschy

Autom. Control. Comput. Sci., 2013