- LNCS430
- -J. W de Bakker/W -P. de Röver/G. Rozenberg (Eds.): Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Proceedings 1989, Springer-Verlag 1990
Acronyms. 2013.
Acronyms. 2013.
LNCS430 — J. W de Bakker/W P. de Röver/G. Rozenberg (Eds.): Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Proceedings 1989, Springer Verlag 1990 … Acronyms von A bis Z