TU Braunschweig)

Identifiers

• name variant TU Braunschweig) 0.50 · backfill

Papers (1)

1. Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report cs.LO · 2016 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• (2) Institute for Programming 1 shared papers
• Lars Luthmann (1) 1 shared papers
• Malte Lochau (1) ((1) Real-Time Systems Lab 1 shared papers
• Reactive Systems 1 shared papers
• Stephan Mennicke (2) 1 shared papers
• TU Darmstadt 1 shared papers