Click here to see user's record.
User has submitted 3 EPrints
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.
Contact site administrator at: email@example.com