Barinjato Ramanandray

Publication Activity (10 Years)

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

Publications

Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD (2006)