in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 430 LNCS, Páginas: 239-266
Conference
Rex Workshop on Stepwise Refinement of Distributed Systems, 1989, Date: 29 May 1989 through 2 June 1989