School of Computing

Training for Transputer Technologies

A.W.P. Bakkers, R. Bruis, H.W. Roebbers, N.C. Schaller, M. H. Schwirtz, J.P.E. Sunder, K.C.J. Wijbrans, and P.H. Welch

In Parallel Processing in Education, pages 182-196. TEMPUS, Hungarian Academic of Sciences, March 1993.

Bibtex Record

@inproceedings{274,
author = {A.W.P. Bakkers and R. Bruis and H.W. Roebbers and N.C. Schaller and M. H. Schwirtz and J.P.E. Sunder and K.C.J. Wijbrans and P.H. Welch},
title = {{Training for Transputer Technologies}},
month = {March},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/274},
    booktitle = {Parallel Processing in Education},
    organization = {TEMPUS},
    publisher = {Hungarian Academic of Sciences},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014