Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-3 av 3

2021
1 Stünkel, Patrick; König, Harald.
Single pushout rewriting in comprehensive systems of graph-like structures. Theoretical Computer Science 2021 ;Volum 884. s. 23-43
HVL Untitled
 
2 Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian.
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. Formal Aspects of Computing 2021 ;Volum 33.(6) s. 1067-1114
HVL Untitled
 
3 Stünkel, Patrick; König, Harald; Rutle, Adrian; Lamo, Yngve.
Multi-Model Evolution through Model Repair. Journal of Object Technology 2021 ;Volum 20.(1) s. 1-25
HVL Untitled