Joost-Pieter Katoen (RWTH Aachen University

Identifiers

• name variant Joost-Pieter Katoen (RWTH Aachen University 0.60 · backfill

Papers (1)

1. High-level Counterexamples for Probabilistic Automata cs.SE · 2013 · author #7

Mentions

• 1305.5055 #7 · backfill · confidence 0.70 Joost-Pieter Katoen (RWTH Aachen University

Frequent Coauthors

• Erika \'Abrah\'am (RWTH Aachen University 1 shared papers
• Germany) 1 shared papers
• Nils Jansen (RWTH Aachen University 1 shared papers
• Ralf Wimmer (University of Freiburg 1 shared papers