1 - 1 out of 1Page size: 10
  1. 2021

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

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

    Research output: Contribution to journal › Article › peer-review

ID: 29463999