Lawrence Owusu

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

George Dimitoglou, Okan Duzyol, Lawrence Owusu
Formal Verification of a Simple Automated Negotiation Protocol. Software Engineering Research and Practice (2006)