Not finding it? Sign in to also search OpenAlex live.
-
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness2025 Software & Systems Modeling erratum Computer Science Formal Methods in Verification Open access
Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab
0citations -
Correction to: An accurate set of H3O+ − H2 collisional rate coefficients for non-LTE modelling of warm interstellar clouds2023 Monthly Notices of the Royal Astronomical Society erratum Physics and Astronomy Astrophysics and Star Formation Studies Open access
Sándor Demes, François Lique, Alexandre Faure, Floris F. S. van der Tak
1citations
2 results