Erratum: What Causes a System to Satisfy a Specification? (ACM Trans. Comput. Logic (2010) 11:4 (2))

Hana Chockler^*, Joseph Y. Halpern, Orna Kupferman

^*Corresponding author for this work

Research output: Contribution to journal › Comment/debate

1 Scopus citations

Original language	English
Journal	ACM Transactions on Computational Logic
Volume	11
Issue number	4
DOIs	https://doi.org/10.1145/1805950.1805959
State	Published - 1 Jul 2010

Access to Document

@article{4c010df23b7848c19a4320e81010a1cd,

title = "Erratum: What Causes a System to Satisfy a Specification? (ACM Trans. Comput. Logic (2010) 11:4 (2))",

author = "Hana Chockler and Halpern, {Joseph Y.} and Orna Kupferman",

year = "2010",

month = jul,

day = "1",

doi = "10.1145/1805950.1805959",

language = "אנגלית",

volume = "11",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery (ACM)",

number = "4",

}

TY - JOUR

T1 - Erratum

T2 - What Causes a System to Satisfy a Specification? (ACM Trans. Comput. Logic (2010) 11:4 (2))

AU - Chockler, Hana

AU - Halpern, Joseph Y.

AU - Kupferman, Orna

PY - 2010/7/1

Y1 - 2010/7/1

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

U2 - 10.1145/1805950.1805959

DO - 10.1145/1805950.1805959

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.comment???

AN - SCOPUS:77954978958

SN - 1529-3785

VL - 11

JO - ACM Transactions on Computational Logic

JF - ACM Transactions on Computational Logic

IS - 4

ER -