MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Symmetry in temporal logic model checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Symmetry in temporal logic model checking
by Alice Miller, Alastair Donaldson, Muffy Calder — ACM Comput. Surv
…Miller, A. and Donaldson, A.F. and Calder, M. (2006) Symmetry in temporal logic model checking…
Cited by 1 (0 self) – Add To MetaCart

Workshop Summary: Computational and Complexity Issues in Automated Verification
by Robert Brayton, A. Emerson, J. Feigenbaum — 1996
… Abstraction, Compositional Reasoning, and Symmetry in Temporal Logic Model Checking 11:15-12:15 R. Bryant…
Cited by 1 (1 self) – Add To MetaCart

DIMACS Technical Report 96-15 June, 1996
by Workshop Summary, Robert Brayton, Allen Emerson, Joan Feigenbaum — 1996
… Abstraction, Compositional Reasoning, and Symmetry in Temporal Logic Model Checking 11:15-12:15 R. Bryant…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB