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

^*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 - https://www.scopus.com/pages/publications/77954978958

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 -