Autori: Letier Emmanuel
Naslov | Efficient SMT-Based Network Fault Tolerance Verification (Proceedings Paper) |
Autori | Liu Yu Subotic Pavle Letier Emmanuel Mechtaev Sergey Roychoudhury Abhik |
Info | FORMAL METHODS, FM 2023, (2023), vol. 14000 br. , str. 92-100 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |