archives

EPrints submitted by Youssef Hanna


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 6 EPrints

Hanna, Youssef, Samuelson, David, Basu, Samik and Rajan, Hridesh (2011) Golok: Push-button Verification of Parameterized Systems. Technical Report 11-02, Computer Science, Iowa State University.

Hanna, Youssef, Samuelson, David, Basu, Samik and Rajan, Hridesh (2011) Golok: Push-button Verification of Parameterized Systems. Technical Report 11-02, Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.



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