Stefan Lorenz

	2008
1		Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV 2008: 419-422

Coauthor Index

1	Michael Backes	[1]
2	Matteo Maffei	[1]
3	Kim Pecina	[1]