//-->
Effects of crossed columnar defects on vortex pinning in Bi<Subscript>2</Subscript>Sr<Subscript>2</Subscript>CaCu<Subscript>2</Subscript>O<Subscript>8</Subscript>
Hardy, V., (2000)
Safety Properties Verification of Ladder Diagram Programs
Roussel, J.-M., (2002)
Algebraic determination of the structure function of Dynamic Fault Trees
Merle, G., (2011)