%0
Generic
%T
Progress properties in program refinement and parallel composition
%A
Meier, David
%K
Hochschulschrift
%K
Systementwicklung
%K
Modularität
%D
1997
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation