Straipsniai su viešo pasiekiamumo įpareigojimais - David GabelaiaSužinokite daugiau
Kur nors pasiekiama: 2
Geometric model checking of continuous space
N Bezhanishvili, V Ciancia, D Gabelaia, G Grilletti, D Latella, M Massink
Logical Methods in Computer Science 18, 2022
Įpareigojimai: Government of Italy
On Bisimilarity for Polyhedral Models and SLCS
V Ciancia, D Gabelaia, D Latella, M Massink, EP de Vink
International Conference on Formal Techniques for Distributed Objects …, 2023
Įpareigojimai: Government of Italy
Leidyklos ir finansavimo informaciją automatiškai nustato kompiuterio programa