M. Hsiao S. Shukla M. Gokhale Alvin R. Lebeck Panel: Nano-computing - do we need new formal approaches? 85-86 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695906 db/conf/memocode/memocode2006.html#HsiaoSGL06