Not finding it? Sign in to also search OpenAlex live.
-
Artifact for: "The Probabilistic Model Checker Storm: Lightning Strikes Twice"2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Tim Quatmann, Matthias Volk, Sebastian Junges, Alexander Bork, Linus Heck, Luko van der Maas, +1 more
0citations
5 results