Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah. Vacuity in practice: temporal antecedent failure. Formal Methods in System Design, 46(1):81-104, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.