Philipp Koerner
Identifiers
No identifiers captured yet.
Papers (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