Options
Title
Stepwise refinement of distributed systems. Models, formalisms, correctness
Title Supplement
REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1990
Series
Lecture Notes in Computer Science; 430
ISBN
3-540-52559-9
0-387-52559-9
Conference