|
|
|
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
|
