scientific article; zbMATH DE number 1515281
From MaRDI portal
Publication:4507811
zbMath0965.68022MaRDI QIDQ4507811
I. B. Virbitskaite, E. N. Bozhenkova, Maria V. Andreeva
Publication date: 10 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Composition methods for constructing characteristic formulas for dense-time models ⋮ Testing equivalences of time Petri nets ⋮ Unifying behavioral equivalences of timed transition systems
This page was built for publication:
