|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
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
|
|