Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Vasileios Germanos.

Newcastle AuthorsTitleYearFull text
Wen Zeng
Professor Maciej Koutny
Professor Paul Watson
Vasileios Germanos
Formal Verification of Secure Information Flow in Cloud Computing2016
Vasileios Germanos
Dr Victor Khomenko
Diagnosability under Weak Fairness2015
Vasileios Germanos
Dr Victor Khomenko
Diagnosability under Weak Fairness2014