Proving VLRL action properties with the Maude model checker
ISSN: 1571-0661
Any de publicació: 2005
Volum: 117
Número: SPEC. ISS.
Pàgines: 113-133
Tipus: Aportació congrés
ISSN: 1571-0661
Any de publicació: 2005
Volum: 117
Número: SPEC. ISS.
Pàgines: 113-133
Tipus: Aportació congrés