Proving VLRL action properties with the Maude model checker

  1. Palomino, M.
  2. Pita, I.
Zeitschrift:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Datum der Publikation: 2005

Ausgabe: 117

Nummer: SPEC. ISS.

Seiten: 113-133

Art: Konferenz-Beitrag

DOI: 10.1016/J.ENTCS.2004.06.026 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus