Title of article :
A case study in abstraction using E-LOTOS and the FireWire
Author/Authors :
Carron Shankland، نويسنده , , Alberto Verdejo، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Pages :
22
From page :
481
To page :
502
Keywords :
E-LOTOS , formal methods , Leader election protocol , IEEE 1394
Journal title :
Computer Networks
Serial Year :
2001
Journal title :
Computer Networks
Record number :
299050
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=299050
بازگشت