Pamela Zave
A Formal Model of Addressing for Interoperating Networks
FM, 2005.
@inproceedings{FM-2005-Zave, author = "Pamela Zave", booktitle = "{Proceedings of the 13th International Symposium of Formal Methods Europe}", doi = "10.1007/11526841_22", isbn = "3-540-27882-6", pages = "318--333", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Formal Model of Addressing for Interoperating Networks}", volume = 3582, year = 2005, }