,

Concurrent, Real-Time Systems: a Systematic Approach Using Timed Petri Nets.

, , и .
Comput. Syst. Sci. Eng., 2 (3): 117-124 (1987)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии