- 2
Sylvain Schmitz
2
Documents
Présentation
Publications
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
|
The Complexity of Diagnosability and Opacity Verification for Petri NetsFundamenta Informaticae, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩
Article dans une revue
hal-01852119v1
|
|
The Complexity of Diagnosability and Opacity Verification for Petri NetsPetri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩
Communication dans un congrès
hal-01484476v2
|