m and algebraic techniques

Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita. m and algebraic techniques. In Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE2012, Arlington, VA, USA, July 16-17, 2012. pages 65-74, IEEE, 2012. [doi]

Authors

Samaneh Ghandali

This author has not been identified. Look up 'Samaneh Ghandali' in Google

Bijan Alizadeh

This author has not been identified. Look up 'Bijan Alizadeh' in Google

Zainalabedin Navabi

This author has not been identified. Look up 'Zainalabedin Navabi' in Google

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google