Florian Corzilius

Identifiers

No identifiers captured yet.

Papers (1)

1. Accelerating Parametric Probabilistic Verification cs.SE · 2013 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Bernd Becker 1 shared papers
• Erika \'Abrah\'am 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Matthias Volk 1 shared papers
• Nils Jansen 1 shared papers
• Ralf Wimmer 1 shared papers