© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Applying Micro-Computers in a Local Area Network
P.H. Welch and T.E. Schutt
In Proceedings of `Local Networks and Distributed Office Systems'', London, pages 182-196. Online Publications Ltd., Northwood, UK, May 1981.Bibtex Record
@inproceedings{232, author = {P.H. Welch and T.E. Schutt}, title = {{Applying Micro-Computers in a Local Area Network}}, month = {May}, year = {1981}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1981/232}, author_ids = {phw}, booktitle = {Proceedings of `Local Networks and Distributed Office Systems', London}, publisher = {Online Publications Ltd., Northwood, UK}, }