1.
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: 43 | Független: 25 | Függő: 18 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 26 | WoS/Scopus jelölt: 35 | DOI jelölt: 37 (Nem nyilvános: 5)
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 43, Független: 25, Függő: 18, Nem jelölt: 0
2026-06-15 14:00