Browsing by Author Benevides, Mario
Showing results 3 to 3 of 3
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
2019 | Logics for Petri nets with propagating failures | Gomes, Leandro; Madeira, Alexandre; Benevides, Mario | bookPart |