The oxidation of TD NiC (Ni-20Cr-2 vol pct ThO2) between 900° and 1200°C