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.

No reviews for this publication, yet.