A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Moffat, N, Goldsmith, M, Roscoe, B
Μορφή: Conference item
Έκδοση: Springer Berlin Heidelberg 2008