Publicações

Logics for Petri Nets with Propagating Failures

AuthID
P-00R-FDR

Author(s)

Gomes, L

Madeira, A

Benevides, MRF

Editor(es)

Hossein Hojjat; Mieke Massink

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 11761, Páginas: 145-157

Conference

8Th International Conference on Fundamentals of Software Engineering, Fsen 2019, Date: 1 May 2019 through 3 May 2019

Indexing

Scopus^®

Dblp^®/pt/publications/view/802232

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-31517-7_10

DBLP: conf/fsen/GomesMB19

SCOPUS: 2-s2.0-85076089729

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.

Logics for Petri Nets with Propagating Failures

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Logics for Petri Nets with Propagating Failures

Links Úteis

Ajuda