© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Byte Streams on a Micro-Computer
P.H. Welch and T.E. Schutt
In Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany, pages 182-196. NTG/GO-Fachtogung, March 1982.Bibtex Record
@inproceedings{233,
author = {P.H. Welch and T.E. Schutt},
title = {{Byte Streams on a Micro-Computer}},
month = {March},
year = {1982},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1982/233},
author_ids = {phw},
booktitle = {Proceedings of `Structure und Betrieb von Rechensystermen', Ulm, W. Germany},
publisher = {NTG/GO-Fachtogung},
}