Semiconductor Spintronics and Quantum Computation

The manipulation of electric charge in bulk semiconductors and their heterostructures is the basis of nearly all modern electronic and opto-electronic devices. Recent studies of spin-dependent phenomena in semiconductors open the door to technologies ...

 The Spin Model Checker Primer and Reference Manual

Master SPIN, the breakthrough tool for improving software reliability SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent system designs. Literally thousands of people have u...