Generation of reduced models for checking fragments of CTL

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

doi:10.1007/3-540-56922-7_39

Generation of reduced models for checking fragments of CTL

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

Mathematics and Computer Science

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

44 Citations (Scopus)

Original language	English
Title of host publication	Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)
Editors	C. Courcoubetis
Place of Publication	Berlin
Publisher	Springer
Pages	479-490
ISBN (Print)	3-540-56922-7
DOIs	https://doi.org/10.1007/3-540-56922-7_39
Publication status	Published - 1993

Publication series

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

Access to Document

10.1007/3-540-56922-7_39

Cite this

Dams, D. R., Grumberg, O., & Gerth, R. T. (1993). Generation of reduced models for checking fragments of CTL. In C. Courcoubetis (Ed.), Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993) (pp. 479-490). (Lecture Notes in Computer Science; Vol. 697). Springer. https://doi.org/10.1007/3-540-56922-7_39

@inproceedings{fc1015444b584ddf97e0af1b978360e3,

title = "Generation of reduced models for checking fragments of CTL",

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

year = "1993",

doi = "10.1007/3-540-56922-7\_39",

language = "English",

isbn = "3-540-56922-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "479--490",

editor = "C. Courcoubetis",

booktitle = "Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)",

address = "Germany",

}

Generation of reduced models for checking fragments of CTL. / Dams, D.R.; Grumberg, O.; Gerth, R.T.
Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993). ed. / C. Courcoubetis. Berlin: Springer, 1993. p. 479-490 (Lecture Notes in Computer Science; Vol. 697).

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

TY - GEN

T1 - Generation of reduced models for checking fragments of CTL

AU - Dams, D.R.

AU - Grumberg, O.

AU - Gerth, R.T.

PY - 1993

Y1 - 1993

U2 - 10.1007/3-540-56922-7_39

DO - 10.1007/3-540-56922-7_39

M3 - Conference contribution

SN - 3-540-56922-7

T3 - Lecture Notes in Computer Science

SP - 479

EP - 490

BT - Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)

A2 - Courcoubetis, C.

PB - Springer

CY - Berlin

ER -