EPrints submitted by Samik Basu

Santhanam, Ganesh Ram (2009) A Dominance Relation for Unconditional Multi-Attribute Preferences. Technical Report 09-24, Computer Science, Iowa State University.

Basu, Samik, Sinha, Roopak and Roop, Partha (2006) A Model Checking based Converter Synthesis Approach for Embedded Systems. Technical Report, Department of Computer Science, Iowa State University.

Sinha, Roopak, Roop, Partha and Basu, Samik (2006) A Model Checking Approach to Protocol Conversion. Technical Report 0000482, Computer Science, Iowa State University.