Proving VLRL action properties with the Maude model checker
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 117
Zenbakia: SPEC. ISS.
Orrialdeak: 113-133
Mota: Biltzar ekarpena
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 117
Zenbakia: SPEC. ISS.
Orrialdeak: 113-133
Mota: Biltzar ekarpena