Model Checking Real-Time Conditional Commitment Logic using Transformation
Menshawy, Mohamed El, Bentahar, Jamal, Kholy, Warda El, Laarej, AmineМова:
english
Журнал:
Journal of Systems and Software
DOI:
10.1016/j.jss.2017.12.042
Date:
January, 2018
Файл:
PDF, 2.15 MB
english, 2018