Tobias Kneiphoff

According to our database, Tobias Kneiphoff authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.

Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm

Proceedings of the Model Checking Software, 2005