Tobias Kneiphoff

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. SPIN (2005)