Вы здесь

Главная

Univ. Oldenburg

Связанные издания:

Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC
Equivalences for Concurrent and Distributed Systems
Equivalences for modular performance analysis in dtsPBC