Maxim Katrashov

According to our database, Maxim Katrashov authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Round-trip engineering of reactive systems.

Dmitrij V. Koznov, Maxim Katrashov, Goman Gagarsky, Vera A. Zvereva, Alexey Barsov

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004