@inproceedings{BBKM:ICNP05,
    author = {Azer Bestavros and Adam Bradley and Assaf Kfoury and Ibrahim
Matta},
    title = {Typed Abstraction of Complex Network Compositions},
    booktitle = {Proceedings of ICNP'05: The 13th IEEE International
Conference on Network Protocols},
    address = {Boston, MA},
    month = {November},
    year = {2005},
}