A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
Κύριοι συγγραφείς: | , , |
---|---|
Μορφή: | Conference item |
Έκδοση: |
Springer Berlin Heidelberg
2008
|
Κύριοι συγγραφείς: | , , |
---|---|
Μορφή: | Conference item |
Έκδοση: |
Springer Berlin Heidelberg
2008
|