Abstract interpretation of reactive systems

D.R. Dams; R.T. Gerth; O. Grumberg

doi:10.1145/244795.244800

Abstract interpretation of reactive systems

D.R. Dams, R.T. Gerth, O. Grumberg

Mathematics and Computer Science

Research output: Contribution to journal › Article › Academic › peer-review

270 Citations (Scopus)

Abstract

Abstract in document.

Original language	English
Pages (from-to)	253-291
Number of pages	39
Journal	ACM Transactions on Programming Languages and Systems
Volume	19
Issue number	2
DOIs	https://doi.org/10.1145/244795.244800
Publication status	Published - 1997

Access to Document

10.1145/244795.244800

Cite this

@article{a72b74a40d154b5289e7db7c2b345ba1,

title = "Abstract interpretation of reactive systems",

abstract = "Abstract in document.",

author = "D.R. Dams and R.T. Gerth and O. Grumberg",

year = "1997",

doi = "10.1145/244795.244800",

language = "English",

volume = "19",

pages = "253--291",

journal = "ACM Transactions on Programming Languages and Systems",

issn = "0164-0925",

publisher = "Association for Computing Machinery, Inc",

number = "2",

}

TY - JOUR

T1 - Abstract interpretation of reactive systems

AU - Dams, D.R.

AU - Gerth, R.T.

AU - Grumberg, O.

PY - 1997

Y1 - 1997

N2 - Abstract in document.

AB - Abstract in document.

U2 - 10.1145/244795.244800

DO - 10.1145/244795.244800

M3 - Article

SN - 0164-0925

VL - 19

SP - 253

EP - 291

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

IS - 2

ER -

Abstract interpretation of reactive systems

Abstract

Access to Document

Fingerprint

Cite this