Marc Jasper
发表
Bernhard Steffen,
Markus Schordan,
Jaco van de Pol,
2017,
SPIN.
Bernhard Steffen,
Frederik Gossen,
Alnis Murtovi,
2019,
ArXiv.
Bernhard Steffen,
Malte Isberner,
Marc Jasper,
2015,
Semantics, Logics, and Calculi.
Bernhard Steffen,
Marc Jasper,
B. Steffen,
2019,
From Reactive Systems to Cyber-Physical Systems.
Bernhard Steffen,
Falk Howar,
Malte Mues,
2018,
ISoLA.
Bernhard Steffen,
Jaco van de Pol,
Jeroen Meijer,
2017,
2017 17th International Conference on Application of Concurrency to System Design (ACSD).
Marc Jasper,
Marc Jasper,
2016,
ISoLA.
Marc Jasper,
Maximilian Schlüter,
Bernhard Steffen,
2020,
Acta Informatica.
Bernhard Steffen,
Marc Jasper,
B. Steffen,
2017,
Models, Algorithms, Logics and Tools.
Frits W. Vaandrager,
Bernhard Steffen,
Markus Schordan,
2019,
TACAS.
Markus Schordan,
Marc Jasper,
M. Schordan,
2016,
ISoLA.
Bernhard Steffen,
Marc Jasper,
B. Steffen,
2018,
ISoLA.
Bernhard Steffen,
Markus Schordan,
Jaco van de Pol,
2016,
ISoLA.
Marc Jasper,
2021
.
Falk Howar,
Malte Mues,
Marc Jasper,
2021,
Int. J. Softw. Tools Technol. Transf..