mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
Solving Constrained Horn Clauses as C Programs with CHC2C
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)
;
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ű Szakcikk (Folyóiratcikk) Tudományos
Megjelent:
LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349
14624
pp. 146-163
2024
Konferencia:
30th International Symposium on Model Checking Software, SPIN 2024 2024-04-08 [Luxembourg City, Luxemburg]
X. Földtudományok Osztálya: A
SJR Scopus - Computer Science (miscellaneous): Q2
Azonosítók
MTMT: 34853031
DOI:
10.1007/978-3-031-66149-5_8
Scopus:
85207643231
Egyéb URL:
https://link.springer.com/10.1007/978-3-031-66149-5_8
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2025-02-14 13:48
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás