Towards Symmetry Aware Refinement Checking (Extended Abstract)
Հիմնական հեղինակներ: | Moffat, N, Goldsmith, M, Roscoe, B |
---|---|
Ձևաչափ: | Conference item |
Հրապարակվել է: |
2007
|
Նմանատիպ նյութեր
-
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
: Moffat, N, և այլն
Հրապարակվել է: (2008) -
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
: Moffat, N, և այլն
Հրապարակվել է: (2008) -
A representative function approach to symmetry exploitation for CSP refinement checking
: Moffat, N, և այլն
Հրապարակվել է: (2008) -
A representative function approach to symmetry exploitation for CSP refinement checking
: Moffat, N, և այլն
Հրապարակվել է: (2008) -
Policy Refinement Checking (extended abstract)
: Goldsmith, S
Հրապարակվել է: (2009)