Panel: Nano-computing - do we need new formal approaches?

M. Hsiao, S. Shukla, M. Gokhale, A. Lebeck. Panel: Nano-computing - do we need new formal approaches?. In 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA. pages 85-86, IEEE, 2006. [doi]

Authors

M. Hsiao

This author has not been identified. Look up 'M. Hsiao' in Google

S. Shukla

This author has not been identified. Look up 'S. Shukla' in Google

M. Gokhale

This author has not been identified. Look up 'M. Gokhale' in Google

A. Lebeck

This author has not been identified. Look up 'A. Lebeck' in Google