Measurement of the cosmic ray muon flux seasonal variation with the OPERA detector

The OPERA experiment discovered muon neutrino into tau neutrino oscillations in appearance mode, detecting tau leptons by means of nuclear emulsion films. The apparatus was also endowed with electronic detectors with tracking capability, such as scintillator strips and resistive plate chambers. Because of its location in the underground Gran Sasso laboratory, under 3800 m.w.e., the OPERA detector has also been used as an observatory for TeV...