Zum Inhalt springen

  1. Butkova, Yuliya; Wimmer, Ralf; Hermanns, Holger

    Tools and Algorithms for the Construction and Analysis of Systems: Long-Run Rewards for Markov Automata

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2017

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems

  2. Wimmer, Ralf; Braitling, Bettina; Becker, Bernd

    Lecture Notes in Computer Science: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture Notes in Computer Science

  3. Urstoeger, Alexander; Wimmer, Andreas; Kaegi, Ralf; Reiter, Simon; Schuster, Michael

    Looking at Silver-Based Nanoparticles in Environmental Water Samples: Repetitive Cloud Point Extraction Bridges Gaps in Electron Microscopy for Naturally Occurring Nanoparticles

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    American Chemical Society (ACS), 2020

    Erschienen in: Environmental Science & Technology

  4. Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd

    Theory and Applications of Satisfiability Testing – SAT 2017: From DQBF to QBF by Dependency Elimination

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2017

    Erschienen in: Theory and Applications of Satisfiability Testing – SAT 2017

  5. Wimmer, Ralf; Reimer, Sven; Marin, Paolo; Becker, Bernd

    Tools and Algorithms for the Construction and Analysis of Systems: HQSpre – An Effective Preprocessor for QBF and DQBF

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2017

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems