![](/img/cover-not-exists.png)
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
Paul Regnier, George Lima, Aline AndradeVolume:
240
Year:
2009
Language:
english
Pages:
18
DOI:
10.1016/j.entcs.2009.05.054
File:
PDF, 322 KB
english, 2009