Publications

AuthID
P-00N-2M9

Author(s)

Pessoa, E

Editor(s)

DSouza,D;Kumar,KN

Document Type

Proceedings Paper

Year published

2017

Published

in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), ISSN: 0302-9743

Volume: 10482, Pages: 344-362 (19)

Indexing

Wos^®

Scopus^®

Crossref^®5

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-319-68167-2_23

Dblp: conf/atva/MacedoCP17

Scopus: 2-s2.0-85031415861

Wos: WOS:000723567800023

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