tSBSNNI

AcronymDefinition
tSBSNNITimed Version of Strong Bi-Simulation-Based Strong Non-Deterministic Non-Interference