A. Weiss
发表
Martin Leucker,
Alexander Weiss,
Christian Hochberger,
2013,
TODE.
Dejan Nickovic,
César Sánchez,
Gordon J. Pace,
2018,
Formal Methods in System Design.
Alexander Weiss,
Torben Scheffel,
Malte Schmitz,
2018,
RV.
Martin Leucker,
Alexander Weiss,
Normann Decker,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).