| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Lars Michael Kristensen, Paul Fleischer: Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Fundam. Inform. 94(3-4): 361-386 (2009) |
| 2008 | ||
| 2 | | Paul Fleischer, Lars Michael Kristensen: Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets 2008: 171-190 |
| 1 | | Paul Fleischer, Lars Michael Kristensen: Modelling the configuration/management API middleware using coloured petri nets. SimuTools 2008: 16 |
| 1 | Lars Michael Kristensen | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page