Вы здесь

Главная

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
Investigating equivalence relations in dtsPBC