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
Ra-ed Bani Abdelrahman (Speaker), Hussain Al-Aqrabi (Speaker) & Richard Hill (Speaker)
Dec 2019
Activity: Talk or presentation types › Oral presentation