Login / Signup

Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.

Natalya GribovskayaIrina B. Virbitskaite
Published in: Fundam. Informaticae (2009)
Keyphrases