Publicações

AuthID
P-00S-6MP

Author(s)

Liu, C

Editor(es)

Raschke,A;Mery,D;Houdek,F

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

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

Volume: 12071, Páginas: 318-334 (17)

Indexing

Wos^®

Scopus^®

Crossref^®4

Google Scholar^®

Publication Identifiers

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

DBLP: conf/asm/CunhaML20

SCOPUS: 2-s2.0-85086067290

Wos: WOS:001286419000026

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis