Search Results - "темпоральные логики"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image
    Academic Journal

    EXPANSION METHOD OF LOGISTIC SUPPLY CHAIN MODEL, PRESENTED IN THE FORM OF A TWO-LEVEL NESTED PETRI NETS

    Игорь Владимирович Шостак, Yashar Rahimi

    Радіоелектронні і комп'ютерні системи, Vol 0, Iss 1, Pp 82-90 (2019)

    Get it
  2. 2
    Cover Image
    Academic Journal

    Polynomial Algorithm of Verication for Subset of PLTL Logic

    P. V. Lebedev

    Моделирование и анализ информационных систем, Vol 19, Iss 2, Pp 115-137 (2012)

    Get it

Search Tools: