Wolfgang Reissenberger. CDL - eine Logik für unendliche nebenläufige Systeme. PhD thesis, Universität Stuttgart, 1998.
@phdthesis{books-daglib-0096832,
title = {CDL - eine Logik für unendliche nebenläufige Systeme},
author = {Wolfgang Reissenberger},
year = {1998},
researchr = {https://researchr.org/publication/books-daglib-0096832},
cites = {0},
citedby = {0},
school = {Universität Stuttgart},
}