An efficient concurrent system networking protocol specification and verification using linear temporal logic

Ra-ed Bani Abdelrahman, Hussain Al-Aqrabi, Richard Hill

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 results
- Title
- Start date(ascending)

An efficient concurrent system networking protocol specification and verification using linear temporal logic
Abdelrahman, R.-E. B. (Speaker), Al-Aqrabi, H. (Speaker) & Hill, R. (Speaker)
Dec 2019
Activity: Talk or presentation types › Oral presentation