,

Parallel Explicit Model Checking for Generalized Büchi Automata.

, , , и .
TACAS, том 9035 из Lecture Notes in Computer Science, стр. 613-627. Springer, (2015)

Метаданные

тэги

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

  • @dblp

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