archives

EPrints submitted by Faraz Hussain


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 1 EPrint.

Hussain, Faraz (2009) Enhancing a behavioral interface specification language with temporal logic features. Masters thesis, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu