Philipp Koerner

Identifiers

No identifiers captured yet.

Papers (1)

1. Symbolic Reachability Analysis of B through ProB and LTSmin cs.SE · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Helen Treharne 1 shared papers
• Jaco van de Pol 1 shared papers
• Jens Bendisposto 1 shared papers
• Jeroen Meijer 1 shared papers
• Jorden Whitefield 1 shared papers
• Michael Leuschel 1 shared papers