Alloy Community

User login

A Formal Model of Addressing for Interoperating Networks

Home
Date: 
Jul 18 2005
author: 
Pamela Zave (AT&T Labs)

Proceedings of the Thirteenth International Symposium of Formal Methods Europe, 2005.



Attachment

Size
InterOp.pdf230.82 KB
by anonymous

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte