@ARTICLE{
author={Liu Yu,Subotic Pavle,Letier Emmanuel,Mechtaev Sergey,Roychoudhury Abhik},
year={2023},
title={Efficient SMT-Based Network Fault Tolerance Verification},
journal={FORMAL METHODS, FM 2023},
volume={14000},
number={},
pages={92-100},
document_type={Proceedings Paper},
}