Search results
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 561-591
Lecture Notes in Computer Science > CAAP '86 > 288-306
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 561-591
Lecture Notes in Computer Science > CAAP '86 > 288-306