Model checking using adaptive state and data abstraction

D.R. Dams; R.T. Gerth; G. Döhmen; R. Herrmann; P. Kelb; H. Pargmann

doi:10.1007/3-540-58179-0_75

Model checking using adaptive state and data abstraction

D.R. Dams
, R.T. Gerth
, G. Döhmen
, R. Herrmann
, P. Kelb
, H. Pargmann

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

17 Citations (Scopus)

Original language	English
Title of host publication	Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994)
Editors	D.L. Dill
Place of Publication	Berlin
Publisher	Springer
Pages	455-467
ISBN (Print)	3-540-58179-0
DOIs	https://doi.org/10.1007/3-540-58179-0_75
Publication status	Published - 1994

Publication series

Name	Lecture Notes in Computer Science
Volume	818
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-58179-0_75

Cite this

Dams, D. R., Gerth, R. T., Döhmen, G., Herrmann, R., Kelb, P., & Pargmann, H. (1994). Model checking using adaptive state and data abstraction. In D. L. Dill (Ed.), Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994) (pp. 455-467). (Lecture Notes in Computer Science; Vol. 818). Springer. https://doi.org/10.1007/3-540-58179-0_75

@inproceedings{512715a59a0b48ff8603a83bfe7511e7,

title = "Model checking using adaptive state and data abstraction",

author = "D.R. Dams and R.T. Gerth and G. D{\"o}hmen and R. Herrmann and P. Kelb and H. Pargmann",

year = "1994",

doi = "10.1007/3-540-58179-0\_75",

language = "English",

isbn = "3-540-58179-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "455--467",

editor = "D.L. Dill",

booktitle = "Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994)",

address = "Germany",

}

Dams, DR, Gerth, RT, Döhmen, G, Herrmann, R, Kelb, P & Pargmann, H 1994, Model checking using adaptive state and data abstraction. in DL Dill (ed.), Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994). Lecture Notes in Computer Science, vol. 818, Springer, Berlin, pp. 455-467. https://doi.org/10.1007/3-540-58179-0_75

Model checking using adaptive state and data abstraction. / Dams, D.R.; Gerth, R.T.; Döhmen, G. et al.
Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994). ed. / D.L. Dill. Berlin: Springer, 1994. p. 455-467 (Lecture Notes in Computer Science; Vol. 818).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Model checking using adaptive state and data abstraction

AU - Dams, D.R.

AU - Gerth, R.T.

AU - Döhmen, G.

AU - Herrmann, R.

AU - Kelb, P.

AU - Pargmann, H.

PY - 1994

Y1 - 1994

U2 - 10.1007/3-540-58179-0_75

DO - 10.1007/3-540-58179-0_75

M3 - Conference contribution

SN - 3-540-58179-0

T3 - Lecture Notes in Computer Science

SP - 455

EP - 467

BT - Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994)

A2 - Dill, D.L.

PB - Springer

CY - Berlin

ER -