Paul Fleischer

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Lars Michael Kristensen, Paul Fleischer
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Fundam. Informaticae 94 (3-4) (2009)
Paul Fleischer, Lars Michael Kristensen
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets (2008)
Paul Fleischer, Lars Michael Kristensen
Modelling the configuration/management API middleware using coloured petri nets. SimuTools (2008)