Record number :
1570962
Title of article :
PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299–310]
Author/Authors :
Bhattacharjee، نويسنده , , A.K and Dhodapkar، نويسنده , , S.D and Shyamasundar، نويسنده , , R.K، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Pages :
1
From page :
223
To page :
223
Journal title :
Reliability Engineering and System Safety
Serial Year :
2001
Link To Document :
بازگشت