Резултати

eNauka >  Results >  Efficient SMT-Based Network Fault Tolerance Verification
Naziv: Efficient SMT-Based Network Fault Tolerance Verification
Autori: Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik
Godina: 2023
Publikacija: FORMAL METHODS, FM 2023
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Tip rezultata: Konferencijski rad
Kolacija: vol. 14000 str. 92-100
DOI: 10.1007/978-3-031-27481-7_7
WoS-ID: 000999132100007
Scopus-ID: 2-s2.0-85151061631
URI: https://enauka.gov.rs/handle/123456789/809011
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

1
SCOPUSTM
1
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.