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