German
Recent Trends in Algebraic Development Techniques
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A Temporal Graph Logic for Verification of Graph Transformation Systems
-
Altmetric BadgeChapter 2 On the Algebraization of Many-Sorted Logics
-
Altmetric BadgeChapter 3 Algebraic Semantics of Service Component Modules
-
Altmetric BadgeChapter 4 Autonomous Units and Their Semantics - The Parallel Case
-
Altmetric BadgeChapter 5 Reasoning Support for Casl with Automated Theorem Proving Systems
-
Altmetric BadgeChapter 6 Structured CSP – A Process Algebra as an Institution
-
Altmetric BadgeChapter 7 Incremental Resolution of Model Inconsistencies
-
Altmetric BadgeChapter 8 Coalgebraic Modal Logic in CoCasl
-
Altmetric BadgeChapter 9 SV t L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
-
Altmetric BadgeChapter 10 A (Co)Algebraic Analysis of Synchronization in CSP
Altmetric Badge
Readers on
- mendeley
- 6 Mendeley