CDL - eine Logik für unendliche nebenläufige Systeme
By: Wolfgang Reissenberger
Contributors: Universität Stuttgart
Publisher: s.n.]
Published: 1998
Place of publication: [S.l
Language: ger
Number of pages: 114
Notes: Thesis (doctoral)--Universität Stuttgart, 1998.