Security and Protection in Information Processing Systems
Springer US
Chapter title |
Analyzing Network Management Effects with SPIN and cTLA
|
---|---|
Chapter number | 5 |
Book title |
Security and Protection in Information Processing Systems
|
Published in |
IFIP Advances in Information and Communication Technology, January 2004
|
DOI | 10.1007/1-4020-8143-x_5 |
Book ISBNs |
978-1-4757-8016-1, 978-1-4020-8143-9
|
Authors |
Gerrit Rothmaier, Andre Pohl, Heiko Krumm, Rothmaier, Gerrit, Pohl, Andre, Krumm, Heiko |
Country | Count | As % |
---|---|---|
Unknown | 4 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 1 | 25% |
Other | 1 | 25% |
Student > Master | 1 | 25% |
Unknown | 1 | 25% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 75% |
Unknown | 1 | 25% |