Tagged systems: A framework for the specification of history-dependent properties
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 137
Zenbakia: 1
Orrialdeak: 151-174
Mota: Biltzar ekarpena
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 137
Zenbakia: 1
Orrialdeak: 151-174
Mota: Biltzar ekarpena