Evidence explorer: A tool for exploring model-checking proofs

Yifei Dong; C. R. Ramakrishnan; Scott A. Smolka

doi:10.1007/978-3-540-45069-6_22

Evidence explorer: A tool for exploring model-checking proofs

Computer Science

Stony Brook University

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

5 Scopus citations

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Warren A. Hunt, Fabio Somenzi
Publisher	Springer Verlag
Pages	215-218
Number of pages	4
ISBN (Print)	3540405240, 9783540405245
DOIs	https://doi.org/10.1007/978-3-540-45069-6_22
State	Published - 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2725
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-45069-6_22

Cite this

Dong, Y., Ramakrishnan, C. R., & Smolka, S. A. (2003). Evidence explorer: A tool for exploring model-checking proofs. In W. A. Hunt, & F. Somenzi (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 215-218). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2725). Springer Verlag. https://doi.org/10.1007/978-3-540-45069-6_22

Dong, Yifei ; Ramakrishnan, C. R. ; Smolka, Scott A. / Evidence explorer : A tool for exploring model-checking proofs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Warren A. Hunt ; Fabio Somenzi. Springer Verlag, 2003. pp. 215-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{bfcbdeffc2114bb1aab6b19826b00fd1,

title = "Evidence explorer: A tool for exploring model-checking proofs",

author = "Yifei Dong and Ramakrishnan, \{C. R.\} and Smolka, \{Scott A.\}",

year = "2003",

doi = "10.1007/978-3-540-45069-6\_22",

language = "English",

isbn = "3540405240",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "215--218",

editor = "Hunt, \{Warren A.\} and Fabio Somenzi",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Dong, Y, Ramakrishnan, CR & Smolka, SA 2003, Evidence explorer: A tool for exploring model-checking proofs. in WA Hunt & F Somenzi (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2725, Springer Verlag, pp. 215-218. https://doi.org/10.1007/978-3-540-45069-6_22

Evidence explorer: A tool for exploring model-checking proofs. / Dong, Yifei; Ramakrishnan, C. R.; Smolka, Scott A.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Warren A. Hunt; Fabio Somenzi. Springer Verlag, 2003. p. 215-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2725).

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

TY - CHAP

T1 - Evidence explorer

T2 - A tool for exploring model-checking proofs

AU - Dong, Yifei

AU - Ramakrishnan, C. R.

AU - Smolka, Scott A.

PY - 2003

Y1 - 2003

UR - https://www.scopus.com/pages/publications/24644521114

U2 - 10.1007/978-3-540-45069-6_22

DO - 10.1007/978-3-540-45069-6_22

M3 - Chapter

AN - SCOPUS:24644521114

SN - 3540405240

SN - 9783540405245

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 215

EP - 218

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Hunt, Warren A.

A2 - Somenzi, Fabio

PB - Springer Verlag

ER -

Dong Y, Ramakrishnan CR , Smolka SA. Evidence explorer: A tool for exploring model-checking proofs. In Hunt WA, Somenzi F, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 215-218. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-45069-6_22

Evidence explorer: A tool for exploring model-checking proofs

Publication series

Access to Document

Other files and links

Fingerprint

Cite this