Search - IFIP - Lecture Notes in Computer Science

Filter your results

1 Array
authFullName_s : Alexandre Madeira
hal_authIdPerson_i : 1161228
Image document

Logics for Petri Nets with Propagating Failures

Leandro Gomes , Alexandre Madeira , Mario Benevides
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.145-157, ⟨10.1007/978-3-030-31517-7_10⟩
Conference papers hal-03769133v1