Islam Abdelhalim. Formally verifying behaviour of fUML models using CSP. PhD thesis, University of Surrey, Guildford, UK, 2012. [doi]
@phdthesis{ethos-15566,
title = {Formally verifying behaviour of fUML models using CSP},
author = {Islam Abdelhalim},
year = {2012},
url = {https://openresearch.surrey.ac.uk/esploro/outputs/doctoral/Formally-Verifying-Behaviour-of-fUML-Models/99516853602346},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-15566},
cites = {0},
citedby = {0},
school = {University of Surrey, Guildford, UK},
}