Publicações

Formal Methods. Fm 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

AuthID
P-00S-N5X

Author(s)

Sekerinski, E

Moreira, N

Oliveira, JN

Ratiu, D

Guidotti, R

Farrell, M

Astarte, T

Cerone, A

Couto, L

Dongol, B

Kutrib, M

Monteiro, P

Delmas, D

Tipo de Documento

Proceedings

Year published

2020

Publicado

in FM Workshops (2) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12233

Indexing

Dblp^®/pt/publications/view/840893

Crossref^®2

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-54997-8

DBLP: conf/fm/2019-w2

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Formal Methods. Fm 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Formal Methods. Fm 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

Links Úteis

Ajuda