,

A case study on the automated verification of groupware protocols.

, , , , , и .
ICSE, стр. 596-603. ACM, (2005)

Метаданные

тэги

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

  • @dblp

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