Publications

AuthID
P-005-5S9

Author(s)

Hollander, Y

Morad, R

Editor(s)

Barner, S; Harris, I; Kroening, D; Raz, O

Document Type

Proceedings Paper

Year published

2011

Published

in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6504, Pages: 24-28 (5)

Conference

6Th Haifa Verification Conference, Date: OCT 04-07, 2010, Location: Haifa, ISRAEL, Sponsors: IBM, Cadence Israel, CRI

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-19583-9_7

DBLP: conf/hvc/HollanderHLM10

SCOPUS: 2-s2.0-79953035713

Wos: WOS:000296687000007

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links