You can manage bookmarks using lists, please log in to your user account for this.
Karlsruhe: Institut für angewandte Informatik und formale Beschreibungsverfahren, Oktober 2022
Sunyaev, Ali
[Editor];
Renner, Maximilian
[Editor];
Toussaint, Philipp A.
[Editor];
Thiebes, Scott
[Editor];
Lins, Sebastian
[Editor]
;
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren,
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren
You can manage bookmarks using lists, please log in to your user account for this.
Karlsruhe: Karlsruher Institut für Technologie (KIT) ; Corresponding Editor: Prof. Dr. Ali Sunyaev, [2023]
Sunyaev, Ali
[Editor];
Renner, Maximilian
[Editor];
Toussaint, Philipp A.
[Editor];
Thiebes, Scott
[Editor];
Lins, Sebastian
[Editor]
;
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren,
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren
You can manage bookmarks using lists, please log in to your user account for this.
Karlsruhe: Karlsruher Institut für Technologie (KIT) ; Corresponding Editor: Prof. Dr. Ali Sunyaev, [2023]
Sunyaev, Ali
[Editor];
Renner, Maximilian
[Editor];
Toussaint, Philipp A.
[Editor];
Thiebes, Scott
[Editor];
Lins, Sebastian
[Editor]
;
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren,
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren
You can manage bookmarks using lists, please log in to your user account for this.
Karlsruhe: Karlsruher Institut für Technologie (KIT) ; Corresponding Editor: Prof. Dr. Ali Sunyaev, [2022]
Sunyaev, Ali
[Editor];
Renner, Maximilian
[Editor];
Toussaint, Philipp A.
[Editor];
Thiebes, Scott
[Editor];
Lins, Sebastian
[Editor]
;
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren,
KarlsruherInstitutfürTechnologieInstitutfür Angewandte Informatik und Formale Beschreibungsverfahren
Beckert, Bernhard
[Author];
Bormer, Thorsten
[Author];
Gocht, Stephan
[Author];
Herda, Mihai
[Author];
Lentzsch, Daniel
[Author];
Ulbrich, Mattias
[Author]
;
KarlsruherInstitutfürTechnologieFakultätfürInformatik