Astrid Rakow
发表
Ernst Althaus,
Christoph Scholl,
Werner Damm,
2017,
Sci. Comput. Program..
W. Damm,
Stefan Disch,
C. Scholl,
2016
.
Astrid Rakow,
E. Kretschmann,
A. Hackmann,
2004
.
Astrid Rakow,
2007
.
Astrid Rakow,
Willem Hagemann,
Maike Schwammberger,
2022,
2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).
Werner Damm,
Thomas Peikenkamp,
Eike Möhlmann,
2018
.
Werner Damm,
Thomas Peikenkamp,
Eike Möhlmann,
2018,
Principles of Modeling.
Astrid Rakow,
Astrid Rakow,
2012,
Petri Nets.
Astrid Rakow,
Astrid Rakow,
2011
.
Bernd Finkbeiner,
Werner Damm,
Astrid Rakow,
2016,
SYNT@CAV.
Astrid Rakow,
2022,
FMAS/ASYDE@SEFM.
Martin Fränzle,
Werner Damm,
Willem Hagemann,
2019,
CREST@ETAPS.
Martin Fränzle,
Werner Damm,
Willem Hagemann,
2019,
ArXiv.