mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
Idézők
/
Idézések
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Ádám, Zsófia [Ádám, Zsófia (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
;
Bajczi, Levente [Bajczi, Levente (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)
;
Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)
;
Hajdu, Ákos [Hajdu, Ákos (formális módszerek), szerző]
;
Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)
Angol nyelvű Konferenciaközlemény (Folyóiratcikk) Tudományos
Megjelent:
LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349
13244
pp. 474-478
2022
Azonosítók
MTMT: 32801008
DOI:
10.1007/978-3-030-99527-0_34
WoS:
000782398900034
Scopus:
85128707561
Egyéb URL:
https://link.springer.com/10.1007/978-3-030-99527-0_34
Idézők (4)
Idézett közlemények (2)
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2025-02-09 02:37
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás