Erika Ábrahám (Selection)

Erika Ábrahám-Mumm

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

40 Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89

38 Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28

Selection of 2 from 49 records - Erika Ábrahám has 48 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

40		Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89
38		Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28