is Íslenska en English

Ritgerðir með leiðbeinandann 'Anna Ingólfsdóttir 1952' í allri Skemmunni > Leiðbeinendur >

Leiðbeinendur 1 til 6 af 6
Fletta
SamþykktRaða eftir:SamþykktTitillRaða eftir:TitillHöfundur(ar)
10.4.2014Coalgebraic Tools for Bisimilarity and Decorated Trace SemanticsCaltais, Georgiana, 1984-
24.3.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 slusters 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