Generation of reduced models for checking fragments of CTL

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

39 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)
EditorsC. Courcoubetis
Place of PublicationBerlin
PublisherSpringer
Pages479-490
ISBN (Print)3-540-56922-7
DOIs
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
Volume697
ISSN (Print)0302-9743

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