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

Yonit Kesten; Amir Pnueli

doi:10.1006/inco.2001.3111

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

Yonit Kesten, Amir Pnueli

Department of Management

Research output: Contribution to journal › Comment/debate

Original language	English
Pages (from-to)	98-100
Number of pages	3
Journal	Information and Computation
Volume	172
Issue number	1
DOIs	https://doi.org/10.1006/inco.2001.3111
State	Published - 10 Jan 2002

ASJC Scopus subject areas

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

Access to Document

10.1006/inco.2001.3111

Cite this

@article{97ea5b3968294a54aa63cdb1949a7e6b,

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

author = "Yonit Kesten and Amir Pnueli",

year = "2002",

month = jan,

day = "10",

doi = "10.1006/inco.2001.3111",

language = "English",

volume = "172",

pages = "98--100",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

number = "1",

}

TY - JOUR

T1 - Erratum

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

AU - Kesten, Yonit

AU - Pnueli, Amir

PY - 2002/1/10

Y1 - 2002/1/10

UR - http://www.scopus.com/inward/record.url?scp=0037050643&partnerID=8YFLogxK

U2 - 10.1006/inco.2001.3111

DO - 10.1006/inco.2001.3111

M3 - Comment/debate

AN - SCOPUS:0037050643

SN - 0890-5401

VL - 172

SP - 98

EP - 100

JO - Information and Computation

JF - Information and Computation

IS - 1

ER -

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

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this