Вы здесь

Главная

временная структура событий

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

A Logic Characteristic for Timed Extensions of Partial Oeder Based Equivalences
Compositional methods in characterization of timed event structures
Compositional Methods in Characterization of Timed Event Structures
Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий
Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий