JOSE
GAINTZARAIN IBARMIA
PROFESORADO TITULAR DE UNIVERSIDAD
Tesis doctoral
-
Invariant-free deduction systems for temporal logic 2012
Universidad del País Vasco - Euskal Herriko Unibertsitatea