Publications

AuthID
P-00T-P1J

Author(s)

Prabhakar, P

Editor(s)

Farzan,A;Chaudhuri,S

Document Type

Proceedings Paper

Year published

2016

Published

in COMPUTER AIDED VERIFICATION, (CAV 2016), PT I in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9779, Pages: 495-512 (18)

Conference

28Th International Conference on Computer-Aided Verification (Cav), Date: JUL 17-23, 2016, Location: Toronto, CANADA

Indexing

Wos^®

Scopus^®

Crossref^®9

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-319-41528-4_27

Scopus: 2-s2.0-84978863338

Wos: WOS:000387731200027

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