Paul Fleischer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Lars Michael Kristensen [1] [2]