Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2006
 | Up a level |
Jump to: L
Number of items: 2.
L
Symmetry reduction for B by permutation flooding - Michael Leuschel, Michael Butler, Corinna Spermann and Edd Turner
Type: Conference or Workshop Item
| 2006
Symmetry reduction for B by permutation flooding - Michael Leuschel, Michael Butler, Corinna Spermann and Edd Turner
Type: Conference or Workshop Item
| 2006
| Springer Berlin, Heidelberg
| Item availability restricted.