Publications

AuthID
P-00S-6MQ

Author(s)

Carvalho, R

Silva, R

Ramalho, MS

Silva, D

Editor(s)

Raschke,A;Mery,D;Houdek,F

Document Type

Proceedings Paper

Year published

2020

Published

in RIGOROUS STATE-BASED METHODS, ABZ 2020, ISSN: 03029743

Volume: 12071, Pages: 61-77 (17)

Indexing

Wos^®

Scopus^®

Crossref^®8

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-030-48077-6_5

Dblp: conf/asm/MacedoCPCSPRS20

Scopus: 2-s2.0-85086081685

Wos: WOS:001286419000005

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Info

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

Useful Links