Title of article :
Bypassing BDD construction for reliability analysis
Author/Authors :
Poul Frederick Williams، نويسنده , , Macha Nikolskaïa، نويسنده , , Antoine Rauzy، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2000
Pages :
5
From page :
85
To page :
89
Keywords :
Boolean formula , data structures , reliability analysis
Journal title :
Information Processing Letters
Serial Year :
2000
Journal title :
Information Processing Letters
Record number :
129250
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129250
بازگشت