Acronyms von A bis Z
LNCS191
-H. Barringer, A Survey of Verification Techniques for Parallel Programm. VI, 115 pages, Springer-Verlag 1985
-H. Barringer, A Survey of Verification Techniques for Parallel Programm. VI, 115 pages, Springer-Verlag 1985