Наукові публікації університету

On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems


ID: 173799
Кількість показів: 59
дата змінення: 24.10.2016 19:16:45
Ким змінено (ім'я): (fit6) Антон Сергєєв
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  19
Рік видання:  2016
Звітний рік:  2016
Видання:  Lecture Notes in Computer Science
Том:  9608
Номери сторінок:  216-234
Галузь науки:  Інформатика
Кафедра / Відділ:  Програмних систем і технологій
Посилання на статтю (посилання на рецензію в журналі (для монографій):  http://link.springer.com/chapter/10.1007%2F978-3-319-40370-0_13
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет інформаційних технологій

Повернення до списку

Вгору