Logische Verifikation nebenläufiger Programme

Heiko Krumm. Logische Verifikation nebenläufiger Programme. Wirtschaftsinformatik, 29(4):131-140, 1987.

Abstract

Abstract is missing.