Erratum: Verification by augmented finitary abstraction (Information and Computation (2000) 163 (203-242))

Yonit Kesten, Amir Pnueli

Research output: Contribution to journalComment/debate

Original languageEnglish
Pages (from-to)98-100
Number of pages3
JournalInformation and Computation
Issue number1
StatePublished - 10 Jan 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Cite this