Using CSP to detect errors in the TMN protocol

Бібліографічні деталі
Автори: Roscoe, A, Lowe, G
Формат: Report
Опубліковано: University of Leicester 1996