Title :
Corrigendum to "Proofs of Networks of Processes"
Author_Institution :
Departmenf of Computer Sciences, University of Texas
Keywords :
"Partitioning algorithms","Error correction"
Journal_Title :
IEEE Transactions on Software Engineering
DOI :
10.1109/TSE.1982.235094
