The Maude LTL model checker and its implementation

Steven Eker, José Meseguer, Ambarish Sridharanarayanan

Research output: Contribution to journalArticlepeer-review

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this