Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Nadiyah Almutairi.

Newcastle AuthorsTitleYearFull text
Nadiyah Almutairi
Professor Maciej Koutny
Verification of communication structured acyclic nets using SAT2021