Publicações

AuthID
P-017-GF5

Author(s)

Ferreira, M

Terra Neves, M

Ventura, M

Martins, R

Editor(es)

Groote,JF;Larsen,KG

Tipo de Documento

Proceedings Paper

Year published

2021

Publicado

in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2021 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12651, Páginas: 152-169 (18)

Indexing

Wos^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-030-72016-2_9

DBLP: conf/tacas/FerreiraTVLM21

Wos: WOS:001288717500009

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis