en English is Íslenska

Items with advisor 'Anna Ingólfsdóttir 1952' in all of Skemman > Advisors >

Advisors 1 to 6 of 6
Browsing items
AcceptedSort by:AcceptedTitleSort by:TitleAuthor(s)
Apr 10, 2014Coalgebraic Tools for Bisimilarity and Decorated Trace SemanticsCaltais, Georgiana, 1984-
Mar 24, 2014Coalgebraic Tools for Bisimilarity and Decorated Trace SemanticsCaltais, Georgiana, 1984-
Sep 12, 2012Contributions to the meta-theory of structural operational semanticsCimini, Matteo, 1981-
Sep 7, 2017A data driven analysis of slusters using UPPAALJón Friðrik Jónatansson 1987
Mar 11, 2014Towards model checking BSV in UppaalHörður Hauksson 1957
Aug 31, 2017Work on new event sources for detectErGuðmundur Stefánsson 1992