Statistics of Is timed branching bisimilarity a congruence indeed?

Contact ORBilu