archives

EPrints submitted by Samik Basu


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

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: ssg@cs.iastate.edu