Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;L. Aceto,1987
2. Alur, R., Courcoubetis, C., Dill, D.: Model checking in dense real time. Inform. and Comput. 104, 2–34 (1993)
3. Andreeva, M.V., Bozhenkova, E.N., Virbitskaite, I.B.: Analysis of timed concurrent models based on testing equivalence. Fundamenta Informaticae 43, 1–20 (2000)
4. Lecture Notes in Computer Science;E. Bihler,2004
5. Bozhenkova, E.N.: Testing equivalences for reak-time event structures. Journal of Computational Technologies 15(3), 52–68 (2010) (in Russian)