Proving distributed hylomorphisms

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht, The Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	2001-40
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 2001

Keywords

@book{856584f5beb7427e957a72ab8b876559,

title = "Proving distributed hylomorphisms",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T.E.J. Vos and S.D. Swierstra",

year = "2001",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "2001-40",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}