Труды Института системного программирования РАНсборник

Статьи, опубликованные в сборнике

---

• • 2007 Computing (bi)simulation relations preserving CTL-X- logic for ordinary and fair Kripke structures
  • Bulychev P.E., Konnov I.V., Zakharov V.A.
  • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 12, с. 59-76
• • 2007 On the verification of asynchronous parameterized networks of communicating processes by model checking
  • Konnov I.V., Zakharov V.A.
  • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 12, с. 37-58
• • 2007 Using algebraic models of programs for detecting metamorphic malwares
  • Kuzurin N.N., Podlovсhenko R.I., Shcherbina V.L., Zakharov V.A.
  • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 12, с. 77-94