© University of Kent - Contact | Feedback | Legal | FOI | Cookies
TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference
P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors
Sunnyvale, California, USA, April 1991. IOS Press, Netherlands ISBN 90 5199 045 9.Bibtex Record
@proceedings{260,
author = {(unknown variable author)},
title = {{TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference}},
month = {April},
year = {1991},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90 5199 045 9},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1991/260},
address = {Sunnyvale, California, USA},
author_ids = {phw},
editor = {P.H. Welch and D. Stiles and T.L. Kunii and A. Bakkers},
publisher = {IOS Press, Netherlands},
}