is Íslenska en English

Ritgerðir með leiðbeinandann 'Anna Ingólfsdóttir 1952-'

í allri Skemmunni > Leiðbeinendur >
Leiðbeinendur 1 til 5 af 5
Fletta
SamþykktRaða eftir:SamþykktTitillRaða eftir:TitillHöfundur(ar)
10.4.2014Coalgebraic Tools for Bisimilarity and Decorated Trace SemanticsCaltais, Georgiana, 1984-
12.9.2012Contributions to the meta-theory of structural operational semanticsCimini, Matteo, 1981-
7.9.2017A data driven analysis of clusters using UPPAALJón Friðrik Jónatansson 1987-
11.3.2014Towards model checking BSV in UppaalHörður Hauksson 1957-
31.8.2017Work on new event sources for detectErGuðmundur Stefánsson 1992-