Rafat Alshorman

According to our database¹, Rafat Alshorman authored at least 3 papers between 2009 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Specification of synchronous network flooding in temporal logic.

[BibT_eX]

[DOI]

Int. Arab J. Inf. Technol., 2020

2019

Toward proving the correctness of TCP protocol using CTL.

[BibT_eX]

[DOI]

Int. Arab J. Inf. Technol., 2019

2009

Using Temporal Logics to Specify and Verify Multi-step Transactions in Mobile Environments.

[BibT_eX]

[DOI]

PhD thesis, 2009