Sökresultat - "темпоральные логики"

  • Visar 1 - 2 av 2 resultat
Förfina resultatet
  1. 1
    Omslagsbild
    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
    Omslagsbild
    Academic Journal

    Polynomial Algorithm of Verication for Subset of PLTL Logic

    P. V. Lebedev

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

    Get it

Sökverktyg: