Nils Jansen (RWTH Aachen University

Identifiers

• name variant Nils Jansen (RWTH Aachen University 0.60 · backfill

Papers (1)

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

Mentions

• 1305.5055 #3 · backfill · confidence 0.70 Nils Jansen (RWTH Aachen University

Frequent Coauthors

• Erika \'Abrah\'am (RWTH Aachen University 1 shared papers
• Germany) 1 shared papers
• Joost-Pieter Katoen (RWTH Aachen University 1 shared papers
• Ralf Wimmer (University of Freiburg 1 shared papers