© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress
P.H. Welch, R. Grebe, J. Hektor, S.C. Hilton, and M.R. Jane, editors
IOS Press, Netherlands, September 1993 ISBN 90-5199-140-1.Bibtex Record
@proceedings{277,
author = {(unknown variable author)},
title = {{Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress}},
month = {September},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90-5199-140-1},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/277},
author_ids = {phw},
editor = {P.H. Welch and R. Grebe and J. Hektor and S.C. Hilton and M.R. Jane},
publisher = {IOS Press, Netherlands},
}