1. 2021
  2. MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE

    Гладштейн, В. П., Михайловский, Д. В., Моисеенко, Е. А. & Трунов, А., 2021, в: Труды института системного программирования РАН. 33, 3, стр. 143-154

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

ID: 29463999