Publicações

AuthID
P-016-261

Author(s)

Tipo de Documento

Book Chapter

Year published

2020

Publicado

in Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops, ISSN: 0302-9743

Páginas: 409-423

Indexing

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-030-54994-7_31

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