Morten Kühnrich

Available identifiers

zbMath Open kuhnrich.mortenMaRDI QIDQ2864386

List of research outcomes

Publication	Date of Publication	Type
Verification of correspondence assertions in a calculus for mobile ad hoc networks	2015-03-19	Paper
Formal model-driven design of distributed algorithms	2014-07-23	Paper
Types for access control in a calculus of mobile resources	2013-12-06	Paper
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains	2009-03-31	Paper

Research outcomes over time

This page was built for person: Morten Kühnrich