Varşova Paktı Ordusu'nun 21 Ağustos 1968'de Çekoslovakya'yı işgal etmesi sonucu başarısızlığa uğrayan hareket, aşağıdaki adlardan hangisiyle bilinir?