by Metzler, Björn
Published in Integrated Formal Methods

by Metzler, Björn, Wehrheim, Heike, Wonisch, Daniel
Published in Formal Methods and Software Engineering

by METZLER, BJOERN, FALDT, ANDRE
Year of Publication 16.04.2016

by Metzler, Björn, Wehrheim, Heike
Published in Electronic notes in theoretical computer science (31.05.2007)

by OLSEN, ESBEN PAUL KROGH, METZLER, BJOERN, BAJTNER, JOHAN ERIKSSON, DAHL, ALLAN CARSTEN
Year of Publication 21.08.2022

by OLSEN, ESBEN PAUL KROGH, METZLER, BJOERN, BAJTNER, JOHAN ERIKSSON, DAHL, ALLAN CARSTEN
Year of Publication 01.02.2019

by Bender, Jens, Metzler, Björn, Räth, Niels
Published in Datenschutz und Datensicherheit (01.01.2019)

by Bender, Jens, Metzler, Björn, Räth, Niels
Published in Datenschutz und Datensicherheit (2019)