1.
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 55-60. , 6 p.
Publication:34872818 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34872818] [Approved]
2.
Marussy, Kristóf ; Ficsor, Attila ; Semeráth, Oszkár ; Varró, Dániel
New York City, United States of America : ACM (2024) pp. 64-68. , 5 p.
Publication:34872599 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34872599] [Approved]
3.
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 61-65. , 5 p.
Publication:34869419 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34869419] [Approved]
4.
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 89-94. , 6 p.
Publication:34862731 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34862731] [Approved]
5.
Szarvas, Dániel ; Pogány, Domonkos
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 37-40. , 4 p.
Publication:34862622 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34862622] [Approved]
6.
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 46-49. , 4 p.
Publication:34862607 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34862607] [Approved]
7.
Ádám, Zsófia ; Beyer, Dirk ✉ ; Chien, Po-Chun ; Lee, Nian-Ze ; Sirrenberg, Nils
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 129-149. , 21 p. (2024)
Publication:34860908 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34860908] [Approved]
8.
Kollár, Zsolt ; Alrwashdeh, Monther ; Leitold, László
Institute of Electrical and Electronics Engineers (2024) pp. 1-5. , 5 p.
Publication:34854562 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34854562] [Approved]
9.
LECTURE NOTES IN COMPUTER SCIENCE Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg, Luxembourg, April 10-11, 2024, Proceedings (2024)
Publication:34853031 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34853031] [Approved]
10.
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 72-77. , 6 p.
Publication:34849521 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34849521] [Approved]
2024-05-25 01:40