en English is Íslenska

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

Advisors 1 to 4 of 4
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-
Mar 11, 2014Towards model checking BSV in UppaalHörður Hauksson 1957