Exploiting commutativity and symmetry in model checking.

View/Open

3267058.pdf (3.081Mb)

Date

2007

Author

Zhou, Min.

Metadata

Show full item record

Subject

Computer Science.

Type

thesis
text

Date available in INDIGO

2014-03-18T14:49:51Z

URI

http://hdl.handle.net/10027/13187

Collections

UIC Dissertations and Theses