ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Send article

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

№4
Publication date:
09 December 2024

Keyword: temporal logic

  1. VMASTER – environment for probabilistic multiagent system development and verification
    2. Authors: Лебедев П.В.

  2. Algorithmical power of some fragments of computational tree logic
    3. Authors: Духовнева А.В., Рыбаков М.Н., Шкатов Д.П.