Вы здесь

Главная

trace

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

Lineae and Branching Metrics for Quantitative Transition Systems
Pomsets for Local Trace Languages
Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014