Johannes Lehmann

Orcid: 0000-0001-7047-3813

Affiliations:

According to our database¹, Johannes Lehmann authored at least 1 paper in 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Out of Control: Reducing Probabilistic Models by Control-State Elimination.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022