Adam's Home Page : Research : Papers : chain:icnp2003

Paper Details:
Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN

Where To?

Get Firefox
(Mostly) Valid XHTML 1.0 Check XHTML
Valid CSS Check CSS
pagelib/5.0.20050207 generated
My ideas, my content, my copyright,
Except for what isn't; that's somebody else's.
If BU likes 'em, then good for them. But they might not.
©1998-2005 Adam D. Bradley, All Rights Reserved.
Except where that doesn't apply.