Kim Pecina

	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	Stefan Lorenz	[1]
3	Matteo Maffei	[1]