Florian Corzilius and Joost-Pieter - Free people check

(1 - 8 from 8

)

Nils Jansen's Homepage

www.cs.ru.nl

pdf, Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, and Harold Bruintjes. Parameter ...

Dependable Software Systems Engineering - Google Books

books.google.com.ua

... Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, and Erika Abraham. PROPhESY: a probabilistic parameter synthesis tool .

[ v2] Accelerating Parametric Probabilistic Verification

arxiv.org

Authors: Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. (Submitted on 13 Dec ...

Accelerating Parametric Probabilistic Verification – ScienceOpen

www.scienceopen.com

Authors: Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika ?brah?m, Joost-Pieter Katoen, Bernd Becker. Publication date ...

Accelerating Parametric Probabilistic Verification - CORE

core.ac.uk

By Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen and Bernd Becker

All web results to the name "Florian Corzilius"

au:Corzilius_F in:cs - SciRate Search

scirate.com

@misc{ , author = {Nils Jansen and Florian Corzilius and Matthias Volk and Ralf Wimmer and Erika Ábrahám and Joost-Pieter Katoen and Bernd ...

Program | safecomp 2014

www.safecomp2014.unifi.it

SAFECOMP Program September , Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen and Bernd Becker;

QEST 2014: Accepted papers

www.qest.org

Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen and Bernd Becker. Accelerating Parametric Probabilistic Verification.

Related search requests for Florian Corzilius

Erika Ábrahám
Joost-Pieter Katoen
Ralf Wimmer

Bernd Becker
Ulrich Loup
Nils Jansen

Thomas Sturm
Maik Scheffler
Matthias Volk

People
Forename "Florian" (12093)
Name "Corzilius" (15)

sorted by relevance / date

Advanced Search

Search name: 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

Florian Corzilius and Joost-Pieter Free People Check