Specification of synchronous network flooding in temporal logic

Ra'Ed Bani-Abdelrahman, Rafat Alshorman, Walter Hussak, Amitabh Trehan. Specification of synchronous network flooding in temporal logic. Int. Arab J. Inf. Technol., 17(6):867-874, 2020. [doi]

Abstract

Abstract is missing.