Analyzing Network Management Effects with SPIN and cTLA release_lwymxpk3vzgj7bvrdovgaxfwka

by Gerrit Rothmaier, Andre Pohl, Heiko Krumm

Published in IFIP International Information Security Conference by Springer US.

2004   p65-81

Archived Files and Locations

application/pdf  2.3 MB
file_zon246rtu5fq5l22okhvvovocy
web.archive.org (webarchive)
link.springer.com (publisher)
application/pdf  278.0 kB
file_thfcdhinaveptcgfbsexboqbeu
web.archive.org (webarchive)
ls4-www.informatik.uni-dortmund.de (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2004
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 050a53ed-a870-4e3f-97f4-68924c7bdd07
API URL: JSON