Publication:4507811
From MaRDI portal
zbMath0965.68022MaRDI QIDQ4507811
I. B. Virbitskaite, E. N. Bozhenkova, Maria V. Andreeva
Publication date: 10 October 2000
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Related Items
Unifying behavioral equivalences of timed transition systems, Composition methods for constructing characteristic formulas for dense-time models, Testing equivalences of time Petri nets