Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Siberian electronic mathematical reports 2018-12, Vol.15, p.1743-1812
Hauptverfasser:	Tarasyuk, I. V., Macià, H., Valero, V.
Format:	Artikel
Sprache:	rus
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!