Using CSP to detect errors in the TMN protocol

Using CSP to detect errors in the TMN protocol

Ցույց տալ այլ տարբերակներ (1)

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Roscoe, A, Lowe, G
Ձևաչափ:	Report
Հրապարակվել է:	University of Leicester 1996

Using CSP to Detect Errors in the TMN Protocol

Using CSP to Detect Errors in the TMN Protocol ‌ Lowe, G, Roscoe, A

Հրապարակվել է 1997

Journal article