Automated model verification using an equivalence test on a reference model. - Akin Akbulut; Stephan Abke; Christoph Laroque (WSC, 2017)

Kollaboration in Fakultäten realisiert mit Web-Technologien: ein konzeptuelles Referenzmodell - Stephan Abke (2017)