Proving VLRL action properties with the Maude model checker
ISSN: 1571-0661
Ano de publicación: 2005
Volume: 117
Número: SPEC. ISS.
Páxinas: 113-133
Tipo: Achega congreso
ISSN: 1571-0661
Ano de publicación: 2005
Volume: 117
Número: SPEC. ISS.
Páxinas: 113-133
Tipo: Achega congreso