Okan Duzyol

According to our database, Okan Duzyol authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Formal Verification of a Simple Automated Negotiation Protocol.

George Dimitoglou, Okan Duzyol, Lawrence Owusu

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006