Symmetry in temporal logic model checking.

Miller, A; Donaldson, AF; Calder, M

doi:http://dx.doi.org/10.1145/1132960.1132962

File(s)

final.pdf (447.67 KB)

Accepted version

Author(s)

Miller, A

Donaldson, AF

Calder, M

Type

Journal Article

Date Issued

2006-09-30

URI

http://hdl.handle.net/10044/1/14316

DOI

http://dx.doi.org/10.1145/1132960.1132962

Journal / Book Title

ACM Comput. Surv.

Volume

38

Copyright Statement

© 2006 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM COMPUTING SURVEYS, Vol.: 38, Iss.: 3, (2006) http://doi.acm.org/10.1145/1132960.1132962

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Description

27.06.14 KB. OK to add accepted version to spiral,

Identifier

3