Indexed by:Journal Papers
Document Code:383176
Date of Publication:2024-06-18
Journal:IEEE TRANSACTIONS ON RELIABILITY
Volume:73
Issue:2
Page Number:1060-1074
ISSN:0018-9529
Key Words:BUGS; OPERATIONAL SEMANTICS
