1.
Hajdu, Ákos ✉ ; Micskei, Zoltán
Efficient Strategies for CEGAR-Based Model Checking
JOURNAL OF AUTOMATED REASONING 64 pp. 1051-1091. , 41 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:30910225 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 27 | Független: 26 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 21 | Scopus jelölt: 17 | WoS/Scopus jelölt: 23 | DOI jelölt: 25 (Nem nyilvános: 6)
Szakcikk (Folyóiratcikk) | Tudományos[30910225] [Egyeztetett]
Nyilvános idéző összesen: 27, Független: 26, Függő: 1, Nem jelölt: 0
2.
Tóth, Tamás ; Hajdu, Ákos ; Vörös, András ; Micskei, Zoltán ; Majzik, István
Theta: a Framework for Abstraction Refinement-Based Model Checking
In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Vienna, Ausztria, Piscataway (NJ), Amerikai Egyesült Államok : FMCAD Association, Institute of Electrical and Electronics Engineers (IEEE) (2017) pp. 176-179. , 4 p.
DOI REAL WoS Scopus Teljes dokumentum
Közlemény:3266689 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 44 | Független: 26 | Függő: 18 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 28 | WoS/Scopus jelölt: 36 | DOI jelölt: 38 (Nem nyilvános: 5)
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 44, Független: 26, Függő: 18, Nem jelölt: 0
2026-08-19 14:07