Login / Signup
Sascha Lehmann
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 6
Top Topics
Metric Temporal Logic
Ultrasound Guided
Model Checking
Program Execution
Top Venues
MARS@ETAPS
Int. J. Softw. Tools Technol. Transf.
Int. J. Comput. Assist. Radiol. Surg.
CyPhy/WESE
</>
Publications
</>