CDL - eine Logik für unendliche nebenläufige Systeme

Wolfgang Reissenberger. CDL - eine Logik für unendliche nebenläufige Systeme. PhD thesis, Universität Stuttgart, 1998.

Abstract

Abstract is missing.