© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Parallel and Distributed Computing in Education (Invited Talk)
P.H. Welch
In J.M.L.M.Palma, J.Dongarra, and V.Hernandez, editors, VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers, volume 1573 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, June 1998. Download publication 319 kbytes (PDF)Bibtex Record
@inproceedings{705,
author = {P.H. Welch},
title = {{P}arallel and {D}istributed {C}omputing in {E}ducation ({I}nvited {T}alk)},
month = {June},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/705},
booktitle = {VECPAR'98: Third International Conference on Vector and Parallel Processing - Selected Papers},
editor = {J.M.L.M.Palma and J.Dongarra and V.Hernandez},
publisher = {Springer-Verlag},
refereed = {Yes},
series = {Lecture Notes in Computer Science},
volume = {1573},
}