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