Результаты поиска
Создать страницу «On the Network Update Problem for Software Defined Networks» в этом вики-проекте!
- | "TCTL-preserving translations from timed-arc Petri nets to networks of timed automata" (J. Byg, M. Jacobsen, L. Jacobsen, K.Y. Jørgensen, M.H. | "The mu-calculus and model checking" (I. Walukievicz, J. Bradfield)76 КБ (2657 слова) - 23:01, 13 апреля 2022
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)