Search results
Lecture Notes in Computer Science > Sustaining TEL: From Innovation to Learning and Practice > Section 2. Full Papers > 109-122
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 777-807