I. L. Morris, J. McNulty, R. Gee
Simulation of large communications networks using SPIN
DAC, 1977.
@inproceedings{DAC-1977-MorrisMG, acmid = "809126", author = "I. L. Morris and J. McNulty and R. Gee", booktitle = "{Proceedings of the 14th Design Automation Conference}", pages = "194--204", publisher = "{ACM}", title = "{Simulation of large communications networks using SPIN}", year = 1977, }