( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Replicating sc Restart with Prolonged Retrials: An Experimental Report.

, и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 373-380. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Arnd Hartmanns

Willi Hartmanns

Jörg Hartmanns

Marianne Hartmanns

Yvonne Arndt

Die Rolle von Verbänden bei der Förderung nachhaltigen Konsums und Konsequenzen für die Verbraucherpolitik. TU München, (2009)
 

Другие публикации лиц с тем же именем

The Modest State of Learning, Sampling, and Verifying Strategies., и . ISoLA (3), том 13703 из Lecture Notes in Computer Science, стр. 406-432. Springer, (2022)Learning optimal decisions for stochastic hybrid systems., , и . MEMOCODE, стр. 44-55. ACM, (2021)Symblicit exploration and elimination for probabilistic model checking., и . SAC, стр. 1798-1806. ACM, (2021)Flexible support for time and costs in scenario-aware dataflow., , и . EMSOFT, стр. 3:1-3:10. ACM, (2016)Replicating sc Restart with Prolonged Retrials: An Experimental Report., и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 373-380. Springer, (2021)The Quantitative Verification Benchmark Set., , , , и . TACAS (1), том 11427 из Lecture Notes in Computer Science, стр. 344-350. Springer, (2019)Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System., , , , , , и . FMICS, том 12863 из Lecture Notes in Computer Science, стр. 232-248. Springer, (2021)The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)., , , , , , , , , и . TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 69-92. Springer, (2019)Correct Probabilistic Model Checking with Floating-Point Arithmetic.. TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 41-59. Springer, (2022)Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids., , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2021)