Pooja Adhikari

Publication Activity (10 Years)

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

Publications

Pooja Adhikari, Edward A. Luke, Edward B. Allen
Verification of a Loop Scheduling Protocol using Finite State Verification. PDCCS (2009)