Shkarupylo V. V.
An in-depth look at tlc model checker
В наявності 0 з 0 примірників.
Номер документа в системі:
326553
Автор:
Shkarupylo V. V.
Назва документа:
An in-depth look at tlc model checker
УДК
004.052.42
Мова документу
Англійська
Кількість сторінок
P. 523-524.
Повернутися до переліку бібліотечних фондів