Natalya Gribovskaya, Irina Virbitskaite. Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. Fundamenta Informaticae, 93(1-3):127-142, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.