A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
Paul Regnier, George Lima, Aline AndradeТом:
240
Рік:
2009
Мова:
english
Сторінки:
18
DOI:
10.1016/j.entcs.2009.05.054
Файл:
PDF, 322 KB
english, 2009