Combined abstract of talks held at the RelMiCs'96 Workshop in Parati, Brasil, 10-14 July.
DVI,
PostScript,
BiBTeX
Renate A. Schmidt
Home |
Publications |
FM Group |
School |
Man Univ
Last modified: 24 Jan 2000
Copyright © 1996,7,8
Renate A. Schmidt,
School of Computer Science, Man Univ, schmidt@cs.man.ac.uk