Component-wise formal approach to design distributed systems

I.S.W.B. Prasetya, S.D. Swierstra, B. Widaja

Research output: Book/Report › Report › Academic

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

Access to Document

@book{c35487fbfe8343ff9a026780af549e7d,

title = "Component-wise formal approach to design distributed systems",

author = "I.S.W.B. Prasetya and S.D. Swierstra and B. Widaja",

year = "2000",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "2000-01",

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

edition = "UU-CS",

}