Verification by Network Decomposition. | BibSonomy

Verification by Network Decomposition.
, , , и .
CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 276-291. Springer, (2004)

  • @giuliano.losa
  • @dblp
К этой публикации ещё не было создано рецензий.

распределение оценок
средняя оценка пользователей0,0 из 5.0 на основе 0 рецензий
    Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)