Наукова періодика України ScienceRise

Al-Dulaimi M. K. H. 
Formalizing of web-services specifications using temporal logics / M. K. H. Al-Dulaimi, A. M. K. Al-Dulaimi // ScienceRise. - 2015. - № 3(2). - С. 25-31. - Режим доступу: http://nbuv.gov.ua/UJRN/texc_2015_3%282%29__6
  Повний текст PDF - 484.746 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Al-Dulaimi M.
  • Al-Dulaimi A.

    • Бібліографічний опис для цитування:

    Al-Dulaimi M. K. H. Formalizing of web-services specifications using temporal logics / M. K. H. Al-Dulaimi, A. M. K. Al-Dulaimi // ScienceRise. - 2015. - № 3(2). - С. 25-31. - Режим доступу: http://nbuv.gov.ua/UJRN/texc_2015_3(2)__6.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського