TMPA-2014: Parametrized Model Checking of Fault tolerant Distributed Algorithms Part 1


Tools Methods of Program Analysis TMPA-2014: Igor Konnov Vienna University of Technology

Источник: rutube.ru

Сообщение от Commenton: Необходимо стартовать сессию