Болонья С., Эренбергер У., & Пур-Вестерхейд П. (1990). Проверка и утверждение программ реального времени: [Болонья С., Эренбергер У., Пур-Вестерхейд П. и др.] ; пер. с англ. А. А. Стукаленко; Под ред. А. И. Никитина. Киев Наукова думка 1990.
Chicago-стиль цитированияБолонья С., Эренбергер У, and Пур-Вестерхейд П. Проверка и утверждение программ реального времени: [Болонья С., Эренбергер У., Пур-Вестерхейд П. и др.] ; пер. с англ. А. А. Стукаленко; Под ред. А. И. Никитина. Киев Наукова думка 1990, 1990.
MLA-цитированиеБолонья С., Эренбергер У, and Пур-Вестерхейд П. Проверка и утверждение программ реального времени: [Болонья С., Эренбергер У., Пур-Вестерхейд П. и др.] ; пер. с англ. А. А. Стукаленко; Под ред. А. И. Никитина. Киев Наукова думка 1990, 1990.