CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
DAVID DE FRUTOS ESCRIG-rekin lankidetzan egindako argitalpenak (1)
2005
-
Tagged systems: A framework for the specification of history-dependent properties
Electronic Notes in Theoretical Computer Science