Record number :
299050
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
Link To Document :
بازگشت