DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
YOLANDA
ORTEGA MALLÉN
Ikertzailea 2022-(e)ra arte
YOLANDA ORTEGA MALLÉN-rekin lankidetzan egindako argitalpenak (1)
1991
-
A complete proof system for timed observations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)