SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descr iptions of distributed algorithms to detailed code for controlling telephone
Bound States and Band Gaps for Spin-0 and Spin-1/2 Particles with Vector and Scalar Woods-Saxon Potentials，田文杰，，We analyze the relativistic bound states with mixed vector and scalar Woods-Saxon potentials, for particular under the specific coupling
Bound States for Spin-0 and Spin-1/2 Particles with Vector and Scalar Hyperbolic Tangent and Cotangent Potentials，田文杰，，This paper analyzes the relativistic bound states with the direct coupling of a vector and a scalar hyperbolic tangent or cotangent
