![]() | ![]() |
| 2005 | ||
|---|---|---|
| 1 | Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm: Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. SPIN 2005: 236-250 | |
| 1 | Heiko Krumm | [1] |
| 2 | Gerrit Rothmaier | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page