Paul Fleischer

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE 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 EE Paul Fleischer, Lars Michael Kristensen: Modelling the configuration/management API middleware using coloured petri nets. SimuTools 2008: 16

2008
2	EE	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	EE	Paul Fleischer, Lars Michael Kristensen: Modelling the configuration/management API middleware using coloured petri nets. SimuTools 2008: 16

Coauthor Index

1 Lars Michael Kristensen [1] [2]