Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 8)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030737849, 9783030737856
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS

2021 ◽  
pp. 120-141
Author(s):  
Tobias Rosenberger ◽  
Saddek Bensalem ◽  
Alexander Knapp ◽  
Markus Roggenbach
Keyword(s):  
State Machines ◽  
Uml State Machines

scholarly journals Parallel Coherent Graph Transformations

2021 ◽  
pp. 75-97
Author(s):  
Thierry Boy de la Tour ◽  
Rachid Echahed
Keyword(s):  
Graph Transformations

Structure-Preserving Diagram Operators

2021 ◽  
pp. 142-163
Author(s):  
Navid Roux ◽  
Florian Rabe
Keyword(s):  
Structure Preserving
Load More ...
Sign in / Sign up

Export Citation Format

Share Document