Atta Troll tanzt noch (Selbstbesichtigungen der literaturwissenschaftlichen Germanistik im 20. Jahrhundert) || Einleitung
- 作者Boden, Petra; Dainat, Holger
- 文件大小111.88KB
- 发表时间1997
- DOI10.1515/9783050072630-002
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Algebraic Approaches to Problem GeneralisationRattray, Charles; Maharaj, Savitri; Shankland, Carron · 2004
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || State Space Reduction for Process Algebra SpecificationsRattray, Charles; Maharaj, Savitri; Shankland, Carron · 2004
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Verifying a Sliding Window Protocol in μCRLRattray, Charles; Maharaj, Savitri; Shankland, Carron · 2004
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Formalizing and Proving Semantic Relations between Specifications by ReflectionRattray, Charles; Maharaj, Savitri; Shankland, Carron · 2004