Наукова періодика України | 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 Цитованість авторів публікації: Бібліографічний опис для цитування: 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. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |