Topics Index

Model Checking
B5 Self-Learning©, Pervasive Symmetries for Consistent Hashing Geoffrey Campbell1, John Bell2
1Imperial College, London, United Kingdom. 2Oxford University, Oxford, United Kingdom.
B3 An Analysis of the Transistor Using CLIME Lindsay James1, Sharon Yates2, Jeanne Mason3
1UCL, London, United Kingdom. 2Cambridge University, Cambridge, United Kingdom. 3University of the Highlands and Island, Perth, United Kingdom.