Publications by authors named "Leander Tentrup"

Claim this Profile
S
Synthesis from hyperproperties.
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Acta Inform· December 2019

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
M
Monitoring hyperproperties.
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Form Methods Syst Des· June 2019

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis