Vinay Mogulothu

Publication Activity (10 Years)

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

Publications

Khalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh
A methodology for verification and analysis of parallel and distributed systems requirements specifications. PDSE (1997)