 | 2009 |
|---|
| 6 |       | Morten Kühnrich,
Uwe Nestmann:
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.
FMOODS/FORTE 2009: 198-212 |
| 5 | | Morten Kühnrich,
Stefan Schwoon,
Jirí Srba,
Stefan Kiefer:
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.
FOSSACS 2009: 440-455 |
| 4 | | Morten Kühnrich,
Stefan Schwoon,
Jirí Srba,
Stefan Kiefer:
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
CoRR abs/0901.0501: (2009) |
| 3 | | Jens Chr. Godskesen,
Hans Hüttel,
Morten Kühnrich:
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.
Electr. Notes Theor. Comput. Sci. 229(2): 77-93 (2009) |
| 2 | | Morten Kühnrich:
Formal Model-Driven Design of Distributed Algorithms.
Electr. Notes Theor. Comput. Sci. 251: 49-64 (2009) |
| 2007 |
|---|
| 1 | | Hans Hüttel,
Morten Kühnrich:
Types for Access Control in a Calculus of Mobile Resources.
Electr. Notes Theor. Comput. Sci. 180(1): 3-15 (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page