Specification, Algebra, and Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642546235, 9783642546242
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Parchments for CafeOBJ Logics

2014 ◽  
pp. 66-91
Author(s):  
Till Mossakowski ◽  
Wiesław Pawłowski ◽  
Donald Sannella ◽  
Andrzej Tarlecki

Reasoning (on) Service Component Ensembles in Rewriting Logic

2014 ◽  
pp. 188-211 ◽  
Author(s):  
Lenz Belzner ◽  
Rocco De Nicola ◽  
Andrea Vandin ◽  
Martin Wirsing
Keyword(s):  
Rewriting Logic ◽  
Service Component
Load More ...
Sign in / Sign up

Export Citation Format

Share Document