R. Bardohl
发表
M. Minas,
R. Bardohl,
G. Taentzer,
1999
.
Hartmut Ehrig,
Juan de Lara,
Gabriele Taentzer,
2007,
Theor. Comput. Sci..
R. Bardohl,
G. Taentzer,
H. Ehrig,
2005
.
M. Minas,
R. Bardohl,
G. Taentzer,
1998
.
R. Bardohl,
1997
.
R. Bardohl,
C. Ermel,
I. Weinhold,
2002
.
R. Bardohl,
Markus Martini,
L. Vera,
2022
.
R. Bardohl,
J. Martins,
A. Martini,
1996
.
Roswitha Bardohl,
Magnus Niemann,
Manuel Schwarze,
1999,
AGTIVE.
Hartmut Ehrig,
Roswitha Bardohl,
R. Bardohl,
1998,
TAGT.
Roswitha Bardohl,
Magnus Niemann,
R. Bardohl,
2000,
TACAS.
Fernando Luís Dotti,
Leila Ribeiro,
Roswitha Bardohl,
2005,
Formal Methods in Software and Systems Modeling.
Gabriele Taentzer,
Claudia Ermel,
Roswitha Bardohl,
2005,
Formal Methods in Software and Systems Modeling.
Claudia Ermel,
Julia Padberg,
Roswitha Bardohl,
2000,
ICALP Satellite Workshops.
Roswitha Bardohl,
R. Bardohl,
2002,
Sci. Comput. Program..
R. Bardohl,
G. Taentzer,
Thorsten Schultzke,
2001,
GT-VMT@ICALP.
Claudia Ermel,
Roswitha Bardohl,
Ingo Weinhold,
2002,
GraBaTs.
Andreas Schwill,
Stephan Diehl,
Ulrike Stege,
2011,
Commun. ACM.
Claudia Ermel,
Roswitha Bardohl,
R. Bardohl,
2007
.