dblp.uni-trier.dewww.uni-trier.de

Kim Pecina

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Michael Backes [1]
2Stefan Lorenz [1]
3Matteo Maffei [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)