Andreas Vorpahl und Katoen - Info zur Person

(1 - 13 von 15

)

Nils Jansen's Homepage

www.cs.ru.nl

Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. High-level counterexamples for probabilistic automata. In QEST, ...

Bibliography generated from publications.bib

www.avacs.org

[Wimmer et al., 2013]: Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. High-level counterexamples for ...

Publications | MEALS

meals-project.eu

Sort by: Author Title Type [ Year (Desc) ]. Filters: Author is Andreas Vorpahl [Clear All Filters] R. Wimmer, N. Jansen, A. Vorpahl, E. Ábrahám, J. - P. Katoen ...

Leveraging Applications of Formal Methods, Verification and...

books.google.de

Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abrahám, ́ Joost-Pieter Katoen, and Bernd Becker. High-level counterexamples for probabilistic automata.

Computer Science authors/titles Jun 2012

arxiv.org

Authors: Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Subjects: Software ...

[ ] High-level Counterexamples for Probabilistic Automata

arxiv.org

DBLP - CS Bibliography. listing | bibtex · Ralf Wimmer · Nils Jansen · Andreas Vorpahl · Erika Ábrahám · Joost-Pieter Katoen.

Rechnerarchitektur - Universität Freiburg

ira.informatik.uni-freiburg.de

Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, ... Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker

Rechnerarchitektur - Universität Freiburg

ira.informatik.uni-freiburg.de

Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker High-Level Counterexamples for Probabilistic Automata

dblp: Joost-Pieter Katoen

dblp.dagstuhl.de

List of computer science publications by Joost-Pieter Katoen

10th International Conference on the Quantitative Evaluation of...

www.qest.org

Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen and Bernd Becker. High-level Counterexamples for Probabilistic Automata.

CiteSeerX — High-level Counterexamples for Probabilistic Automata

citeseerx.ist.psu.edu

author = {Ralf Wimmer and Nils Jansen and Andreas Vorpahl and Erika Ábrahám and Joost-pieter Katoen and Bernd Becker}, title = {High-level ...

Alle Infos zum Namen "Andreas Vorpahl"

Verwandte Suchanfragen zu Andreas Vorpahl

Erika Ábrahám
Nils Jansen
Joost-Pieter Katoen

Erich Kästner
Maik Scheffler
Thomas Felsch

Bernd Becker
Ralf Wimmer
Matthias Volk

Person "Vorpahl" (3)
Vorname "Andreas" (97752)
Name "Vorpahl" (208)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Andreas Vorpahl und Katoen Person-Info