Santosh N. Varanasi

Publication Activity (10 Years)

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

Publications

Santosh N. Varanasi, Kenneth S. Stevens, Graham M. Birtwistle
Concurrency Reduction of Untimed Latch Protocols - Theory and Practice. ASYNC (2010)