DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Browsing by Author Alsayaydeh, Jamil
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
2018 | An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification | Шкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль |