tBNDC

AcronymDefinition
tBNDCTimed Version of Bi-Simulation-Based Non-Deducibility on Compositions